gap lower checks 2 6
ProvedFreiman.gap_lower_checks_2_6freimangaphall-ray
Exact rational leaf inequalities and strictly earlier forbidden-row references for lower rows 2–6.
Preamble
import Definitions.Def_Freiman_gapCertificateData
Formal statement
namespace Freiman theorem gap_lower_checks_2_6 : ∀ n : ℕ, 0 ≤ n → n < 5 → gapChecks (gapLowerRows.take n) [] .forbidden (gapLowerTrees[n]!) := by sorry end Freiman
Source
Freiman Hall ray report, certificates/gap/lower_table_partitions.json