P
Initializing...
`BookProof.ChapterDoubleSlit.H_involutive` : H * H = 1 · Prove2Me