law zero_grad_keeps_nodes

bendtorch-core@0.1.0.0 · src/autograd/backward_LAWS.bend:454

import Base
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backward

454law zero_grad_keeps_nodes:
455  for +entries: List<&2, Backward.Entry>
456  {nodes_of(Backward.zero_grad(Backward.Tape{entries})) == Backward.nodes(entries) : List<&2, Backward.Node>}