law at_most_zero_edges

bendtorch-core@0.1.0.0 · src/tensor/relu_LAWS.bend:67

import Base

67law at_most_zero_edges:
68  {at_most_zero_at(edges()) ==
69    [True{}, True{}, False{}, True{}, False{}, True{}, False{}, True{}, False{}, True{},
70      False{}, True{}, False{}, True{}, False{}, False{}, False{}, False{}, False{}, False{}] : List<&2, Bool>}