Def Decidable.by_contradiction

Modification history