OAI/Geometry/CylinderCovering/Singular/Stream.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.SingularStream.potential_eq line 11
2. theorem OAI.CylinderCovering.SingularStream.potential_contDiffAt line 16
3. theorem OAI.CylinderCovering.SingularStream.potential_wall_pos line 23
4. theorem OAI.CylinderCovering.SingularStream.potential_wall_neg line 26
5. theorem OAI.CylinderCovering.SingularStream.potential_homogeneous line 29
6. theorem OAI.CylinderCovering.SingularStream.potential_deriv_b line 41
7. theorem OAI.CylinderCovering.SingularStream.potential_neg_deriv_r line 57
8. theorem OAI.CylinderCovering.SingularStream.field_hamiltonian line 83