Skip to content

[Merged by Bors] - chore: protect QuadraticForm.map_zero #20128

[Merged by Bors] - chore: protect QuadraticForm.map_zero

[Merged by Bors] - chore: protect QuadraticForm.map_zero #20128