Theorem Counterexample.B_apply

Modification history

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