OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/FlowFirstBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Gronwall's bound for the first spatial derivative of the actual flow.

  1. theorem OAI.ContinuumCoulomb.flow_first_derivative_bound_along line 12
  2. theorem OAI.ContinuumCoulomb.flow_first_derivative_bound line 49