mathlib
2c893060 - chore(geometry/manifold/charted_space): make `M` an explicit argument (#14562)

Commit

3 years ago

chore(geometry/manifold/charted_space): make `M` an explicit argument (#14562)

Author

urkud

urkud

Parents

Loading