Theorem Multiset.inf_singleton

Modification history