Theorem Counterexample.isSymm_B

Modification history

2023-06-16 07:08
Counterexamples/QuadraticForm.lean
feat: port Counterexamples.QuadraticForm (#5121)
Added Counterexample.isSymm_BView on Github →