Registry · Theorem III.T76 tau-effective formalized

III.T76 — ABC Quality 100

Weak ABC for all coprime pairs up to 100. 7× extension from bound 15.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

III.D108

Lean Formalization

Module: TauLib.BookIII.Arithmetic.ABCDeep

Symbol: abc_quality_100