Registry · Definition III.D109 tau-effective formalized

III.D109 — High Quality Count

Count coprime triples with quality q≥1 (c≥rad(abc)). Rare: includes (1,8,9). At most 5 up to bound 30.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIII.Arithmetic.ABCDeep

Symbol: abc_high_quality_count