Def Finset.powersetCard

Modification history