OAI/Analysis/HardSphere/Allocation/PhysicalObservedMass.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Groups.physicalObservedMixture_mass_eq line 19
2. theorem OAI.HardSphere.Groups.physicalObservedMixture_mass line 29
3. instance OAI.HardSphere.Groups.physicalTaggedReference_finite line 73
4. lemma OAI.HardSphere.Groups.physicalTaggedMixture_unretained line 81
5. def OAI.HardSphere.Groups.physicalCommonObserved line 115
6. instance OAI.HardSphere.Groups.physicalCommonObserved_finite line 120
7. def OAI.HardSphere.Groups.physicalObservedReference line 127
8. instance OAI.HardSphere.Groups.physicalObservedReference_finite line 131
9. lemma OAI.HardSphere.Groups.physicalCommonObserved_eq line 138
10. theorem OAI.HardSphere.Groups.physical_common_observed_estimates line 157