Def Decidable.not_and

Modification history