Theorem RingQuot.mkAlgHom_rel

Modification history