OAI/Analysis/HardSphere/Allocation/PhysicalSupported.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.HardSphere.Groups.physicalSlotAllowed_borel line 15
2. lemma OAI.HardSphere.Groups.routeDensityBound_ne_top line 21
3. lemma OAI.HardSphere.Groups.one_le_routeDensityBound line 29
4. def OAI.HardSphere.Groups.physicalSelectedOn line 32
5. theorem OAI.HardSphere.Groups.physicalSelectedOn_physical line 43