Theorem Counterexample.isSymm_B

Modification history

2025-08-10 16:17
Counterexamples/QuadraticForm.lean
chore: turn LinearMap.IsSymm into a structure (#27873) …
Modified Counterexample.isSymm_BView on Github →
2023-06-16 07:08
Counterexamples/QuadraticForm.lean
feat: port Counterexamples.QuadraticForm (#5121)
Added Counterexample.isSymm_BView on Github →