Def Finset.powerset

Modification history