`BookProof.ChapterE2.remainder_zero` (θ : ℕ → ℝ) : remainder θ 0 = 1 · Prove2Me

P

Initializing...

`BookProof.ChapterE2.remainder_zero` (θ : ℕ → ℝ) : remainder θ 0 = 1 · Prove2Me