mathlib
2df47f66 - Merge branch 'Lie_group_algebra' into smooth_bundle

Commit

5 years ago

Merge branch 'Lie_group_algebra' into smooth_bundle

References

#8103 - feat(geometry/manifold/curves): smooth curves

Author

Nicknamen

Nicknamen

Parents

Loading