`BookProof.ChapterCayleyTransform.op_eq_cayley` (x : T.domain) : T.op x = (2 : ℂ)⁻¹ • (T.shift (-1) x + cayley T (T.shift (-1) x))

Initializing...

`BookProof.ChapterCayleyTransform.op_eq_cayley` (x : T.domain) : T.op x = (2 : ℂ)⁻¹ • (T.shift (-1) x + cayley T (T.shift (-1) x)) · Prove2Me