mathlib
d68aecc5 - Merge branch 'SP_quadratic_finish' into SP_finish_double_check

Commit

3 years ago

Merge branch 'SP_quadratic_finish' into SP_finish_double_check Checking content of SP_quadratic_finish

Author

stuart-presnell

Parents