P
Initializing...
`BookProof.ChapterF1.ccr` : annih ∘ₗ creat - creat ∘ₗ annih = LinearMap.id · Prove2Me