P
Initializing...
`BookProof.LimitCircleExample.hasDerivAt_lcP` (x : ℝ) : HasDerivAt lcP (lcP' x) x · Prove2Me