mathlib
189e5386 - feat(geometry/manifold): stab at diffeomorphisms (#4351)

Commit

5 years ago

feat(geometry/manifold): stab at diffeomorphisms (#4351)

References

#4925 - Make prime-avoidance branch build

Author

Nicknamen

Nicknamen

Parents

Loading