Mathlib Changelog
v4
Changelog
About
Github
Def
IrreducibleCloseds.map
Modification history
2024-10-01 17:04
Mathlib/Topology/KrullDimension.lean
feat(Topology/KrullDimension): add invariance under homeomorphism theorem and auxiliary lemmas (#17175) …
Added
IrreducibleCloseds.map
View on Github →