OAI/Geometry/Cannon/Flows/GoodCandidates.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonFlow.eventually_bad_transition_thresholds line 24
2. def OAI.CannonNode.GoodCandidates line 65
3. lemma OAI.CannonNode.fraction_clip line 71
4. theorem OAI.CannonNode.candidate_subdivision line 77
5. theorem OAI.CannonNode.uniform_literal_subdivision line 124