Mathlib v3 is deprecated. Go to Mathlib v4

Theorem linear_map.range_to_continuous_linear_map

Modification history

2022-07-23 19:01
src/topology/algebra/module/finite_dimension.lean
fix(*): fix typos I made yesterday (#15627) …
Modified linear_map.range_to_continuous_linear_mapView on Github →
2022-07-22 09:11
src/topology/algebra/module/finite_dimension.lean
feat(topology/algebra/module/finite_dimension): add 2 simp lemmas (#15610) …
Added linear_map.range_to_continuous_linear_mapView on Github →