OAI/MathematicalPhysics/Boltzmann/Approximation/SurvivalVolterraIntegrable.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Measurability of a survival-weighted characteristic source

  1. theorem OAI.BoltzmannNonuniqueness.Published.survivalVolterra_measurable line 13
  2. theorem OAI.BoltzmannNonuniqueness.Published.survivalVolterra_integrable line 36