Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_linear_map.add_comp

Modification history

2020-07-21 01:55
src/topology/algebra/module.lean
refactor(topology/algebra/monoid): changed topological_monoid into has_continuous_mul (#3481)
Modified continuous_linear_map.add_compView on Github →
2020-05-30 16:24
src/topology/algebra/module.lean
refactor(algebra/module): change module into an abbreviation for semimodule (#2848) …
Modified continuous_linear_map.add_compView on Github →
2020-01-04 15:28
src/topology/algebra/module.lean
feat(topology/algebra/module): continuous linear equiv (#1839) …
Modified continuous_linear_map.add_compView on Github →
2019-12-09 07:40
src/topology/algebra/module.lean
feat(analysis/calculus/deriv): derivative of division and polynomials (#1769) …
Added continuous_linear_map.add_compView on Github →