Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rotation_of_rotation

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_of_rotation View on Github →