law sum_dynamic_valid_result

bendtorch-core@0.1.0.0 · src/tensor/reduction_LAWS.bend:189

import bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS.bend as ReductionLAWS

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/reduction.bend as Reduction

189law sum_dynamic_valid_result:
190  for tensor: Core.Dynamic
191  TotalDynamicSum<tensor, Reduction.sum_dynamic(tensor)>

Uses (5)

Used by (0)

No other definition uses this definition.