mathlib
a959718e - chore(algebra/quadratic_discriminant): golf proofs using limits (#5339)

Commit

5 years ago

chore(algebra/quadratic_discriminant): golf proofs using limits (#5339)

Author

urkud

urkud

Parents

Loading