Mathlib Changelog
Changelog
About
Github
Def
continuous_map.set_of_ideal
Modification history
2022-10-08 00:38
src/topology/continuous_function/ideals.lean
feat(topology/continuous_function/ideals): construct the Galois correspondence between closed ideals in `C(X, 𝕜)` and open sets in `X` (#16677) …
Added
continuous_map.set_of_ideal
View on Github →