Registry · Theorem III.T75 tau-effective formalized

III.T75 — CRT Admissible Positive

Twin-admissible residues positive at depths 1-4. Nonempty at every primorial level.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

III.D107

Lean Formalization

Module: TauLib.BookIII.Spectral.TwinPrimeDeep

Symbol: crt_admissible_positive_4