OAI/MathematicalPhysics/Boltzmann/Branching/SpacetimeAverageLimit.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Returning the complex averaged limit to real spacetime
- theorem
OAI.BoltzmannNonuniqueness.Published.spacetime_average_limitline 11