Mathlib Changelog
v4
Changelog
About
Github
Def
Specializes
Modification history
2024-02-22 12:56
Mathlib/Topology/Defs/Filter.lean
chore(Topology): move more definitions to `Defs` (#10623)
Modified
Specializes
View on Github →
2023-01-31 22:16
Mathlib/Topology/Inseparable.lean
feat: port Topology.Inseparable (#1908)
Added
Specializes
View on Github →