OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/FlowSliceBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Joint derivative bounds restrict to spatial slices with no loss.

  1. theorem OAI.ContinuumCoulomb.flow_slice_derivative_bound line 12