Theorem continuous_algebra_map_iff_smul
Modification history
2022-09-29 12:54
src/topology/algebra/algebra.lean
feat(topology/algebra/algebra): `algebra_clm` does not need a normed space or field (#16690) …
Modified continuous_algebra_map_iff_smulView on Github →2022-03-31 06:51
src/topology/algebra/algebra.lean
refactor(*): rename `topological_ring` to `topological_semiring` and introduce a new `topological_ring` extending `has_continuous_neg` (#12864) …
Modified continuous_algebra_map_iff_smulView on Github →