Def RingHom.SurjectiveOnStalks

Modification history

2024-07-26 10:22

Mathlib/RingTheory/SurjectiveOnStalks.lean

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

Added RingHom.SurjectiveOnStalks View on Github →