Theorem Cardinal.mk_compl_finset_of_infinite

Modification history