~/jendhub

law sum_dynamic_valid_success

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

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
import bendtorch-core@0.1.0.0/src/tensor/math_totality.bend as Totality

171law sum_dynamic_valid_success:
172  for tensor: Core.Dynamic
173  Totality.Success<Core.Error, Core.Dynamic & Core.Dynamic, Reduction.sum_dynamic(tensor)>

Uses (10)

Used by (1)