`BookProof.ChapterCayleyTransform.cayley_shift` (x : T.domain) : cayley T (T.shift (-1) x) = T.shift 1 x

Initializing...

`BookProof.ChapterCayleyTransform.cayley_shift` (x : T.domain) : cayley T (T.shift (-1) x) = T.shift 1 x · Prove2Me