mathlib
b7c5709d - chore(geometry/manifold): use notation `𝓘(𝕜, E)` (#6636)

Commit

5 years ago

chore(geometry/manifold): use notation `𝓘(𝕜, E)` (#6636)

Author

urkud

urkud

Parents

Loading