Theorem Multiset.antidiagonal_map_fst

Modification history