Theorem RingHom.SurjectiveOnStalks.baseChange

Modification history

2024-07-26 10:22

Mathlib/RingTheory/SurjectiveOnStalks.lean

feat(RingTheory): Surjective on stalks ring homomorphisms. (#14377)

Added RingHom.SurjectiveOnStalks.baseChange View on Github →