Mathlib v3 is deprecated. Go to Mathlib v4

Def rotation_of

Modification history

2021-08-27 14:36
src/analysis/complex/isometry.lean
feat(analysis/complex/isometry): Show that certain complex isometries are not equal (#8646) …
Added rotation_ofView on Github →