P
Initializing...
`BookProof.HermiteStrichartzQG.hermiteCore_dense` : Dense (hermiteCore : Set L2R) · Prove2Me