mathlib
d77e91f8 - perf(geometry/euclidean): speed up proof on the edge of timing out (#12191)

Commit

4 years ago

perf(geometry/euclidean): speed up proof on the edge of timing out (#12191) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents