Theorem RingHom.etale_algebraMap

Modification history

2025-07-03 00:36

Mathlib/RingTheory/RingHom/Etale.lean

feat(RingTheory/RingHom): etale ring homomorphisms (#26635)

Added RingHom.etale_algebraMap View on Github →