OAI/Analysis/HardSphere/Allocation/PhysicalDisintegration.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Groups.label_endpoints_ae line 15
2. lemma OAI.HardSphere.Groups.physicalDatum_branch_of line 28
3. theorem OAI.HardSphere.Groups.actual_physical_branch_joint line 51
4. lemma OAI.HardSphere.Groups.individualReference_probability_of_nonzero line 120
5. lemma OAI.HardSphere.Groups.datum_group_probability_factors line 131
6. lemma OAI.HardSphere.Groups.exposed_fiber_mass line 155
7. theorem OAI.HardSphere.Groups.actual_branch_normalized line 166