Def Finset.restrict

Modification history