Mathlib v3 is deprecated. Go to Mathlib v4

Theorem submodule.sup_eq_range

Modification history

2021-02-09 11:14
src/linear_algebra/basic.lean
refactor(linear_algebra/prod): split out prod and coprod defs and lemmas (#6059) …
Modified submodule.sup_eq_rangeView on Github →
2020-12-15 17:57
src/linear_algebra/basic.lean
ci(lint-copy-mod-doc.py): add reserved notation and set_option linters, enable small_alpha_vrachy_check linter (#5330) …
Modified submodule.sup_eq_rangeView on Github →
2020-05-30 16:24
src/linear_algebra/basic.lean
refactor(algebra/module): change module into an abbreviation for semimodule (#2848) …
Modified submodule.sup_eq_rangeView on Github →
2020-05-07 18:46
src/linear_algebra/basic.lean
chore(linear_algebra/basic): review (#2616) …
Added submodule.sup_eq_rangeView on Github →