P
Initializing...
`BookProof.LimitCircleExample.hasDerivAt_lcQ` (x : ℝ) : HasDerivAt lcQ (lcQ' x) x · Prove2Me