Commit 2024-07-07 11:01 2d8571b7
View on Github →feat: QuadraticForm.baseChange is unique when it exists (#14285)
Proof adapted from @ScottCarnahan's Zulip message
feat: QuadraticForm.baseChange is unique when it exists (#14285)
Proof adapted from @ScottCarnahan's Zulip message