Theorem WithZeroTopology.t3Space

Modification history

2024-06-28 09:13
Mathlib/Topology/Algebra/WithZeroTopology.lean
chore(*): remove some deprecated theorems (#14214)
Deleted WithZeroTopology.t3SpaceView on Github →
2024-06-11 22:52
Mathlib/Topology/Algebra/WithZeroTopology.lean
chore(*): more `since :=` in `deprecated` (#13735)
Modified WithZeroTopology.t3SpaceView on Github →
2023-03-17 12:44
Mathlib/Topology/Algebra/WithZeroTopology.lean
feat: port Topology.Algebra.WithZeroTopology (#2703)
Added WithZeroTopology.t3SpaceView on Github →