OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/FlowJacobianVariation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual closed-interval flow satisfies its first variational equation. The proof transfers the equation from a smooth local representative.

  1. theorem OAI.ContinuumCoulomb.flow_spatial_variational line 14