Theorem Nat.finMulAntidiag_zero_right

Modification history