Theorem Cardinal.mk_multiset_of_infinite

Modification history