Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rotation_ne_conj_lie

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_ne_conj_lieView on Github →