def facts_inverse_valid

bendtorch-core@0.1.0.0 · src/tensor/axis_algebra.bend:3007

import Base
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis

3007def facts_inverse_valid(-rank: Nat, -axes: List<&2, Nat>, certificate: Facts<rank, axes>) -> {True{} == Axis.valid(rank, Axis.inverse_axes(rank, axes)) : Bool}:
3008  Certified{iv, iselected, irestored, lists, product, fit} = certificate
3009  iv