Theorem RingCon.toCon_coe_eq_coe

Modification history