Theorem Decidable.not_imp_self

Modification history