OAI/NumberTheory/TwoPointCorrelations/FinalMain.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.OrdinaryTwoPointCorrelations.liouville_log_saving line 10

    Distinct definitions of this name: ComparatorChallenges/OrdinaryTwoPointCorrelations.lean:43 (same statement text; different proof or body). Qualify references as OAI.OrdinaryTwoPointCorrelations.liouville_log_saving@path.

  2. theorem OAI.OrdinaryTwoPointCorrelations.binary_corrected_elliott line 18

    Distinct definitions of this name: ComparatorChallenges/OrdinaryTwoPointCorrelations.lean:51 (same statement text; different proof or body). Qualify references as OAI.OrdinaryTwoPointCorrelations.binary_corrected_elliott@path.

  3. theorem OAI.OrdinaryTwoPointCorrelations.affine_corrected_elliott line 26

    Distinct definitions of this name: ComparatorChallenges/OrdinaryTwoPointCorrelations.lean:59 (same statement text; different proof or body). Qualify references as OAI.OrdinaryTwoPointCorrelations.affine_corrected_elliott@path.