Theorem Multiset.nsmul_singleton

Modification history