OAI/NumberTheory/TwoPoint/Walks/GoodWordHybrid.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A surviving weighted mixed difference supplies the exact integer word needed by the forest cover.

  1. theorem OAI.TwoPointCorrelations.good_word_integer_hybrid line 15