Theorem decidableEq_inr_neg

Modification history