Theorem algebra_map_isometry
Modification history
2022-04-22 01:34
src/analysis/normed_space/basic.lean
fix(analysis/normed_space/basic): allow the zero ring to be a normed algebra (#13544) …
Modified algebra_map_isometryView on Github →2021-06-19 23:38
src/analysis/normed_space/basic.lean
refactor(topology/metric_space/isometry): move material about isometries of normed spaces (#8003) …
Modified algebra_map_isometryView on Github →