Theorem RingHom.finite_isStableUnderBaseChange

Modification history