Theorem decidable_eq_inr_neg

Modification history