Commit 2021-10-08 00:30 fa3b6222
View on Github →refactor(analysis/normed_space/linear_isometry): semilinear isometries (#9551) Generalize the theory of linear isometries to the semilinear setting.
refactor(analysis/normed_space/linear_isometry): semilinear isometries (#9551) Generalize the theory of linear isometries to the semilinear setting.