OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/FlowDeterminant.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The three-dimensional Liouville determinant calculation. It remains valid at singular matrices and at endpoints with a one-sided derivative.

  1. theorem OAI.ContinuumCoulomb.flow_matrix_det_derivative line 12