Commit 2026-02-21 10:52 6c8ca1ee
View on Github →refactor(QuadraticForm/Complex): generalize to algebraically closed field (#34158) A free generalization since the only place the property of C is used is to get a square root. This can still be further generalized to quadratically closed field, but we don't have that definition yet. Also did small clean up and removed a erw.