Theorem Multiset.toFinset_inter

Modification history