def inverse_involution
bendtorch-core@0.1.0.0 · src/tensor/axis_PROOF.bend:14
import bendtorch-core@0.1.0.0/src/tensor/axis_PROOF.bend as AxisPROOF
import Base
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis
import bendtorch-core@0.1.0.0/src/tensor/axis_algebra.bend as Algebra
14def inverse_involution(-rank: Nat, -axes: List<&2, Nat>, certificate: Algebra.Facts<rank, axes>) ->
15 {Axis.inverse_axes(rank, Axis.inverse_axes(rank, axes)) == axes : List<&2, Nat>}:
16 Algebra.Certified{iv, selected, restored, lists, product, fit} = certificate
17 restored