def facts_product
bendtorch-core@0.1.0.0 · src/tensor/axis_algebra.bend:3002
import bendtorch-core@0.1.0.0/src/tensor/axis_algebra.bend as AxisAlgebra
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis
3002def facts_product(-rank: Nat, -axes: List<&2, Nat>, +dims: List<&2, Nat>, length: {List.length(&2, Nat, dims) == rank : Nat}, certificate: Facts<rank, axes>) ->
3003 {Shape.numel(Axis.order(Nat, dims, axes)) == Shape.numel(dims) : Nat}:
3004 Certified{iv, iselected, irestored, lists, product, fit} = certificate
3005 product(dims, length)