Def Finset.min'

Modification history