Theorem Cardinal.mk_finset_of_infinite

Modification history