P
Initializing...
`BookProof.LimitCircleExample.memLp_lcSol` : MemLp lcSol 2 (volume : Measure ℝ) · Prove2Me