Theorem Nat.mem_finMulAntidiag

Modification history