WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Quadratic form

Revision #2184 → #2879 · back to history

modifiedSignature of a quadratic form738105bd352b
FieldFrom #2184To #2879
mathlib.declQuadraticForm.sigPossigPos
modifiedPositive/negative indices of inertia5937e44a7b8e
FieldFrom #2184To #2879
mathlib.declQuadraticForm.sigPossigPos
addedHomogeneous polynomial (form)89861f138410
addedIndefinite orthogonal group O(p,q)c07ef5d5bbe9
addedClifford algebra of a quadratic form88a0b8b44966
addedRadical of a quadratic form2779ffaa65bd