OAI/Analysis/HardSphere/Allocation/PhysicalPairedRoute.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Comparison.fiberNormalize_mass_le_one line 13
2. lemma OAI.HardSphere.Comparison.ambientSharedKernel_mass_le line 22
3. def OAI.HardSphere.Groups.physicalPairedRoute line 39
4. instance OAI.HardSphere.Groups.physicalPairedRoute_finite line 48
5. lemma OAI.HardSphere.Groups.physicalPairedRoute_total line 54
6. lemma OAI.HardSphere.Groups.physicalPairedRoute_mass_le_one line 64
7. lemma OAI.HardSphere.Groups.physicalPairedRoute_mass_from_allowed line 72