Theorem Multiset.inf_eq_inter

Modification history