Theorem Decidable.ne_or_eq

Modification history