Def Finset.Equiv.Finset.union

Modification history