Theorem Multiset.finite_to_set

Modification history