Theorem decidable_eq_inl_refl

Modification history