Def Decidable.to_bool

Modification history