Theorem Finset.powersetCard_self

Modification history