Theorem Multiset.toEnumFinset_filter_eq

Modification history