OAI/MathematicalPhysics/Boltzmann/Collision/SphereAntipodal.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Antipodal invariance of the actual angular area measure

  1. theorem OAI.BoltzmannNonuniqueness.sphereArea_antipodal line 14