Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_geometry.Spec_map_localization_is_iso

Modification history

2021-12-02 12:47
src/algebraic_geometry/Spec.lean
feat(ring_theory/localization): The localization of a localization is a localization. (#10456) …
Added algebraic_geometry.Spec_map_localization_is_isoView on Github →