Theorem Multiset.induction_on_multiset_quot

Modification history