Mathlib Changelog
v4
Changelog
About
Github
Theorem
WithLowerSetTopology.IsLowerSet_toLowerSet_preimage
Modification history
2023-09-14 06:57
Mathlib/Topology/Order/UpperLowerSetTopology.lean
chore: tidy various files (#7137)
Deleted
WithLowerSetTopology.IsLowerSet_toLowerSet_preimage
View on Github →
2023-09-08 07:26
Mathlib/Topology/Order/UpperLowerSetTopology.lean
feat: Functoriality of `WithUpperSetTopology` (#6988) …
Added
WithLowerSetTopology.IsLowerSet_toLowerSet_preimage
View on Github →