Theorem Multiset.antidiagonal_coe'

Modification history