OAI/Probability/RadialTransition/FreeGeometry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RadialTransition.CoreFree line 13
2. lemma OAI.RadialTransition.same_cell_dist_lt line 18
3. lemma OAI.RadialTransition.CoreFree.dist_bound line 35
4. def OAI.RadialTransition.coreFreeSetoid line 42
5. lemma OAI.RadialTransition.coreFree_fiber_card line 51
6. lemma OAI.RadialTransition.coreFree_roots line 69