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 →