mathlib3
1c3ba7de - lint(geometry/manifold/whitney_embedding): assume `[finite _]` (#17628)

Commit

3 years ago

lint(geometry/manifold/whitney_embedding): assume `[finite _]` (#17628)

Author

urkud

urkud

Parents

Loading