Registry · Remark III.R47 established not_applicable

III.R47 — Classical Comparison

τ provides algebraic component (CRT, local conditions, admissibility). Classical provides analytic (circle method, sieve asymptotics, height theory). Neither alone suffices.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

Lean Formalization

Module: