Def Finset.powersetLen

Modification history