`BookProof.LimitCircleExample.contDiff_lcV` : ContDiff ℝ ((⊤ : ℕ∞) : WithTop ℕ∞) lcV

Initializing...

`BookProof.LimitCircleExample.contDiff_lcV` : ContDiff ℝ ((⊤ : ℕ∞) : WithTop ℕ∞) lcV · Prove2Me