Def Finset.restrict₂

Modification history