def inverse_selected
bendtorch-core@0.1.0.0 · src/tensor/axis_PROOF.bend:9
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
9def inverse_selected(-rank: Nat, -axes: List<&2, Nat>, certificate: Algebra.Facts<rank, axes>) ->
10 {Axis.inverse(rank, axes) == Some{Axis.inverse_axes(rank, axes)} : Maybe<&2, List<&2, Nat>>}:
11 Algebra.Certified{iv, selected, restored, lists, product, fit} = certificate
12 selected