OAI/Geometry/Cannon/Flows/NearProbabilityBound.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonPairs.near_probability_bound line 17
2. lemma OAI.CannonPairs.card_filter_product line 44
3. theorem OAI.CannonPairs.far_pairs_card line 51
4. theorem OAI.CannonPairs.pair_orientation_fiber line 80
5. theorem OAI.CannonPairs.ordered_cost_multiplicity line 99