OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/FlowVariational.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The first variational equation for a C⁴ local model of the transport flow, including the endpoints of the closed time interval.

  1. theorem OAI.ContinuumCoulomb.flow_model_time_partial line 13
  2. theorem OAI.ContinuumCoulomb.flow_model_variational line 29