Theorem Finset.powersetCard_one

Modification history