Theorem Nat.finMulAntidiag_one

Modification history