Documentation

LeanPool.Redhill

Improved Lower Bounds for Strong n-Conjectures #

Source: doi:10.1017/S1446788725000084 Authors: Jeremy Tan Status: verified Main declarations: not_ramaekersConjecture_ge_six, le_quality_nConjectureTuples Tags: number-theory, abc-conjecture, n-conjecture, ramaekers-conjecture MSC: 11A41, 11D75