Theorem AlgEquiv.toRingHom_trans

Modification history