Theorem RingHom.finite_stableUnderBaseChange

Modification history