Theorem Multiset.toDFinsupp_apply

Modification history