Def Finset.decidableForallOfDecidableSubsets'

Modification history