Theorem RingCon.coe_ofMatrix_eq_relationMap

Modification history