OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/FlowImplicit.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The finite C⁴ implicit-function step for the actual four-dimensional autonomous lift of the three-dimensional time-dependent flow.

  1. abbrev OAI.ContinuumCoulomb.FlowPhase line 16
  2. abbrev OAI.ContinuumCoulomb.FlowPath line 17
  3. theorem OAI.ContinuumCoulomb.flow_c4_implicit_neighborhood line 19