Theorem linear_isometry.is_conformal_map
Modification history
2022-04-08 06:14
src/analysis/normed_space/conformal_linear_map.lean
refactor(analysis/normed_space/conformal_linear_map): redefine (#13143) …
Deleted linear_isometry.is_conformal_mapView on Github →