OAI/MathematicalPhysics/Boltzmann/Branching/IntegrablePathTrace.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Integrable derivatives give every-time strong L1 traces

  1. theorem OAI.BoltzmannNonuniqueness.Published.integrable_path_trace line 13