Theorem Multiset.antidiagonal_eq_map_powerset

Modification history