Theorem RingHom.StableUnderBaseChange.of_isLocalization

Modification history

2024-11-06 16:11

Mathlib/RingTheory/LocalProperties/Basic.lean

refactor(CategoryTheory/MorphismProperty): turn `StableUnderBaseChange` into a class (#18692) …

Deleted RingHom.StableUnderBaseChange.of_isLocalization View on Github →

2024-10-16 11:05

Mathlib/RingTheory/LocalProperties/Basic.lean

feat(RingTheory/StandardSmooth): meta properties of standard smooth ring homomorphisms (#16868) …

Added RingHom.StableUnderBaseChange.of_isLocalization View on Github →