Theorem Multiset.inf_add

Modification history