Mathlib v3 is deprecated. Go to Mathlib v4

Theorem smooth_left_mul

Modification history

2020-09-30 20:29

src/geometry/manifold/algebra/lie_group.lean

feat(geometry/manifold): smooth bundled maps (#3641)

Deleted smooth_left_mul View on Github →

2020-07-30 17:59

src/geometry/algebra/lie_group.lean

feat(geometry): first stab on Lie groups (#3529)

Added smooth_left_mul View on Github →