Theorem Finset.powersetCard_nonempty

Modification history