Theorem sesq_form.ext
Modification history
2021-12-21 12:42
src/linear_algebra/sesquilinear_form.lean
refactor(linear_algebra/sesquilinear_form): Use similar definition as used in `bilinear_map` (#10443) …
Deleted sesq_form.extView on Github →2020-05-31 06:22
src/linear_algebra/sesquilinear_form.lean
chore(*): split long lines (#2883) …
Modified sesq_form.extView on Github →2019-11-07 03:43
src/linear_algebra/sesquilinear_form.lean
feat(extensionality): rename to `ext`; generate `ext` rules for structures (#1645) …
Modified sesq_form.extView on Github →