Theorem IsLocalization.map_comap

Modification history

2024-08-12 18:29

Mathlib/RingTheory/Localization/Ideal.lean

chore: move to v4.11.0-rc2 (new `variable` command) (#15726)

Modified IsLocalization.map_comap View on Github →

2024-07-27 08:25

Mathlib/RingTheory/Localization/Ideal.lean

chore: robustifying for debug.byAsSorry (part 12) (#15178)

Modified IsLocalization.map_comap View on Github →

2023-04-18 05:52

Mathlib/RingTheory/Localization/Ideal.lean

feat: port RingTheory.Localization.Ideal (#3452)

Added IsLocalization.map_comap View on Github →