Theorem injective_of_isLocalization_of_span_eq_top

Modification history

2025-10-21 20:48
Mathlib/RingTheory/LocalProperties/Exactness.lean
feat(RingTheory): meta properties of bijective ring homomorphisms (#28695) …
Added injective_of_isLocalization_of_span_eq_topView on Github →