Theorem Multiset.isAtom_iff

Modification history