Mathlib v3 is deprecated. Go to Mathlib v4

Theorem topological_group_of_lie_group

Modification history

2021-03-07 10:18

src/geometry/manifold/algebra/lie_group.lean

refactor(geometry/manifold): drop some unused arguments (#6545) …

Added topological_group_of_lie_group View on Github →