Theorem RingHom.Etale.isStableUnderBaseChange

Modification history

2025-07-03 00:36
Mathlib/RingTheory/RingHom/Etale.lean
feat(RingTheory/RingHom): etale ring homomorphisms (#26635)
Added RingHom.Etale.isStableUnderBaseChangeView on Github →