mathlib3
5e0a5bc6 - fix(geometry/manifold/complex): remove nonempty assumption (#15948)

Commit

3 years ago

fix(geometry/manifold/complex): remove nonempty assumption (#15948)

Author

jcommelin

jcommelin

Parents

Loading