OAI/MathematicalPhysics/Transonic/Certificates/SonicEndpointBox.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.SonicEndpointBox.endpointBox line 10
2. lemma OAI.SepticProfile.SonicEndpointBox.holds_endpoint line 14
3. lemma OAI.SepticProfile.SonicEndpointBox.lower_from_box line 42
4. lemma OAI.SepticProfile.SonicEndpointBox.upper_from_box line 52