mathlib
f434b205 - chore(number_theory/sum_four_squares): squeeze simps (#18467)

Commit

2 years ago

chore(number_theory/sum_four_squares): squeeze simps (#18467) 17.4s -> 816ms

Author

eric-wieser

eric-wieser

Parents

Loading