Theorem Q60596.Q_not_in_range_toQuadraticForm

Modification history

2024-07-13 17:36

Counterexamples/CliffordAlgebraNotInjective.lean

refactor(LinearAlgebra/QuadraticForm/Basic) : Generalise `QuadraticForm` to `QuadraticMap` (#7569) …

Modified Q60596.Q_not_in_range_toQuadraticForm View on Github →

2024-02-20 14:35

Counterexamples/CliffordAlgebra_not_injective.lean

feat(Counterexamples/CliffordAlgebra_not_injective): Some quadratic forms cannot be constructed from bilinear forms (#9670) …

Added Q60596.Q_not_in_range_toQuadraticForm View on Github →