Theorem RingCon.rel_eq_coe

Modification history