OAI/Analysis/HardSphere/Comparison/ActiveLabels.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HardSphere.SphericalCoordinates.activeLabels line 22
2. lemma OAI.HardSphere.SphericalCoordinates.mem_activeLabels line 26
3. lemma OAI.HardSphere.SphericalCoordinates.inactive_card_le line 31
4. lemma OAI.HardSphere.SphericalCoordinates.active_card_lower line 42
5. lemma OAI.HardSphere.SphericalCoordinates.sector_capacity line 50