OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/FlowLiouville.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Liouville's equation for the actual spatial Jacobian, on the closed time interval and without an invertibility assumption.

  1. theorem OAI.ContinuumCoulomb.flow_liouville line 14
  2. theorem OAI.ContinuumCoulomb.flow_regularity line 53