OAI/NumberTheory/TwoPoint/Walks/TupleLitOrigins.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Choose the actual common origins for a finite numerical rank catalog.

  1. theorem OAI.TwoPointCorrelations.ambient_tuple_lit_origins line 12