Theorem RingCon.quot_mk_eq_coe

Modification history