P
Initializing...
`BookProof.ChapterF3.mehler_projector_matrix` (v xi xj : E') : inner (๐ ยท Prove2Me