Theorem RingHom.SurjectiveOnStalks.of_comp

Modification history

2024-07-26 10:22

Mathlib/RingTheory/SurjectiveOnStalks.lean

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

Added RingHom.SurjectiveOnStalks.of_comp View on Github →