Theorem Multiset.mem_antidiagonal

Modification history