OAI/Probability/RadialTransition/PackingBlob.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RadialTransition.packingBlob line 10
2. lemma OAI.RadialTransition.packingBlob_distance line 12
3. lemma OAI.RadialTransition.packingBlob_separation line 22
4. lemma OAI.RadialTransition.packingBlob_subset_cube line 34
5. lemma OAI.RadialTransition.core_grand_packing_lower line 44