OAI/Analysis/HardSphere/Allocation/PhysicalSupply.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Groups.physicalDatum_home line 18
2. lemma OAI.HardSphere.Groups.full_success_datum line 25
3. def OAI.HardSphere.Groups.fullFailure line 74
4. lemma OAI.HardSphere.Groups.allocation_some_of_supported line 80
5. lemma OAI.HardSphere.Groups.datumBad_forces_half_failure line 88
6. theorem OAI.HardSphere.Groups.physicalDatum_joint_half_failure line 132
7. theorem OAI.HardSphere.Groups.canonical_supply_counts line 156
8. lemma OAI.HardSphere.Groups.physical_bad_joint_of_certified_counts line 215