Theorem RingHom.finitePresentation_isStableUnderBaseChange

Modification history