OAI/NumberTheory/TwoPoint/Bounds/CenteredWitnessCatalog.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Sum full centered-word averages against the numerical witness catalog.

  1. theorem OAI.TwoPointCorrelations.centered_words_le_witness_catalog line 13