Theorem bilin_form.ext
Modification history
2020-11-23 17:02
src/linear_algebra/bilinear_form.lean
chore(linear_algebra/bilinear_form): cleanup (#5049) …
Modified bilin_form.extView on Github →2019-11-07 03:43
src/linear_algebra/bilinear_form.lean
feat(extensionality): rename to `ext`; generate `ext` rules for structures (#1645) …
Modified bilin_form.extView on Github →