Def Finset.SupIndep

Modification history