Theorem Multiset.antidiagonal_coe

Modification history