Theorem RingQuot.mkRingHom_rel

Modification history