Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-02-21 23:06
e94a78db
View on Github →
feat: Port/Topology.Algebra.Group.Compact (
#2420
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Topology/Algebra/Group/Compact.lean
added
theorem
TopologicalSpace.PositiveCompacts.locallyCompactSpace_of_Group