Theorem Multiset.toFinsupp_apply

Modification history