P
Initializing...
`BookProof.ChapterF7.kinetic_l2Symmetric` : IsL2Symmetric kinetic · Prove2Me