Theorem Multiset.antidiagonal_map_snd

Modification history