Theorem linear_isometry.map_eq_iff
Modification history
2021-10-08 00:30
src/analysis/normed_space/linear_isometry.lean
refactor(analysis/normed_space/linear_isometry): semilinear isometries (#9551) …
Modified linear_isometry.map_eq_iffView on Github →