OAI/NumberTheory/TwoPoint/Walks/ProhibitedSingletonDecay.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Full singleton decay for the original divisibility-centered word and literal vertex deletion.

  1. theorem OAI.TwoPointCorrelations.eventually_prohibited_singleton_decay line 15