Commit 2024-07-11 00:43 27e16a49

View on Github →

chore: protect QuadraticForm.map_zero (#14633)

Estimated changes

deleted theorem QuadraticForm.map_zero