`BookProof.HalfLineLimitCircle.deficiencyFun_hasDerivAt` (x : ℝ) : HasDerivAt deficiencyFun (-lam * deficiencyFun x) x

Initializing...

`BookProof.HalfLineLimitCircle.deficiencyFun_hasDerivAt` (x : ℝ) : HasDerivAt deficiencyFun (-lam * deficiencyFun x) x · Prove2Me