Theorem Multiset.antidiagonal_zero

Modification history