Theorem IsLocalization.of_surjective

Modification history

2025-02-18 17:29
Mathlib/RingTheory/Localization/Ideal.lean
feat(AlgebraicGeometry): closed subscheme of an ideal sheaf (#21951) …
Added IsLocalization.of_surjectiveView on Github →