gap match alignment
ProvedFreiman.gap_match_alignmentfreimangaphall-ray
Aligned containment of a marked finite word preserves its distinguished coordinate.
Preamble
import Definitions.Def_Freiman_gapCertificateData
Formal statement
namespace Freiman theorem gap_match_alignment (a : ℤ → ℕ+) (i : ℤ) (s v : GapState) (hm : gapMatch a i s) (hv : v.centre < v.word.length) (hc : gapAlignedContains s v) : gapMatch a i v := by sorry end Freiman
Source
Freiman Hall ray report, m3.tex; finite partition semantics