Commit 2023-03-29 23:55 7c82cee4
View on Github →chore: update SHA (#3174)
- Update SHA of
Mathlib.Algebra.QuadraticDiscriminant. Most changes were forward-ported during initial porting. - Drop an unused
have, squash 2 lines.
chore: update SHA (#3174)
Mathlib.Algebra.QuadraticDiscriminant. Most changes were forward-ported during initial porting.have, squash 2 lines.