OAI/NumberTheory/TwoPoint/Bounds/FamilyPatternSum.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Reciprocal pattern sums for an arbitrary finite family of prime pools.

  1. theorem OAI.TwoPointCorrelations.same_family_patterns_reciprocal_sum line 13