OAI/Geometry/TranslativeCovering/PoissonDiagrams.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PoissonDiagrams.classSet line 36
  2. lemma OAI.PoissonDiagrams.classSet_left_matched line 40
  3. lemma OAI.PoissonDiagrams.classSet_left_unmatched line 53
  4. lemma OAI.PoissonDiagrams.classSet_measurable line 59
  5. lemma OAI.PoissonDiagrams.classSet_respects line 70
  6. lemma OAI.PoissonDiagrams.classSet_incidence line 81
  7. lemma OAI.PoissonDiagrams.classSet_mass_left line 96
  8. def OAI.PoissonDiagrams.diagram line 108
  9. lemma OAI.PoissonDiagrams.classSet_product line 115
  10. lemma OAI.PoissonDiagrams.diagram_eq_classSet_sum line 127
  11. lemma OAI.PoissonDiagrams.dependency_eq_sum_Q line 138
  12. lemma OAI.PoissonDiagrams.Q_tendsto line 154
  13. def OAI.PoissonDiagrams.identityMatching line 174
  14. lemma OAI.PoissonDiagrams.mem_identityMatching line 185
  15. lemma OAI.PoissonDiagrams.identity_contribution line 191
  16. lemma OAI.PoissonDiagrams.activity_le_self_diagram line 202