pub fn assignment_ty() -> Expr
Assignment : Nat → (Nat → Nat) → Prop — a permutation assignment for n×n matrix.
Assignment : Nat → (Nat → Nat) → Prop