Theorem continuous_map.smul_comp
Modification history
2022-06-30 19:45
src/topology/continuous_function/algebra.lean
refactor(algebra/group/defs): rename has_scalar to has_smul (#14559) …
Modified continuous_map.smul_compView on Github →2022-02-17 00:34
src/topology/continuous_function/algebra.lean
feat(topology/continuous_function/algebra): generalize algebra instances (#12055) …
Modified continuous_map.smul_compView on Github →