Def continuous_linear_map.prodₗᵢ
Modification history
2022-02-18 04:52
src/analysis/normed_space/operator_norm.lean
feat(topology/algebra): generalize `has_continuous_smul` arguments to `has_continuous_const_smul` (#11999) …
Modified continuous_linear_map.prodₗᵢView on Github →