Theorem RingHom.Etale.stableUnderComposition

Modification history

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