Theorem Multiset.finite_toSet

Modification history