`BookProof.ChapterCayleyTransform.cayley_apply_ne_self` {y : H} (hy : y ≠ 0) : cayley T y ≠ y

Initializing...

`BookProof.ChapterCayleyTransform.cayley_apply_ne_self` {y : H} (hy : y ≠ 0) : cayley T y ≠ y · Prove2Me