Commit 2022-07-21 02:26 34d4a9bf
View on Github →feat(analysis/normed_space/linear_isometry): linear_equiv.of_eq
as a linear_isometry_equiv
(#15471)
We also setup simps
on linear_isometry
and linear_isometry_equiv
.
feat(analysis/normed_space/linear_isometry): linear_equiv.of_eq
as a linear_isometry_equiv
(#15471)
We also setup simps
on linear_isometry
and linear_isometry_equiv
.