`BookProof.ChapterCayleyTransform.denseRange_one_sub_cayley` : DenseRange (fun y : H => y

Initializing...

`BookProof.ChapterCayleyTransform.denseRange_one_sub_cayley` : DenseRange (fun y : H => y - cayley T y) · Prove2Me