`BookProof.ChapterA3.spinRot_hasAdLambda` (j : Fin 3) : HasAdLambda (spinRot j) (adRot j)

Initializing...

`BookProof.ChapterA3.spinRot_hasAdLambda` (j : Fin 3) : HasAdLambda (spinRot j) (adRot j) · Prove2Me