Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.clm_comp

Modification history

2022-06-05 14:52
src/analysis/normed_space/bounded_linear_maps.lean
feat(src/analysis/normed_space): various improvements for continuous bilinear maps (#14539) …
Added continuous.clm_compView on Github →