OAI/MathematicalPhysics/Boltzmann/Branching/CumulativeIntervalBalance.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

A finite source measure and its weak time primitive

  1. def OAI.BoltzmannNonuniqueness.WeakTime.cumulative line 16
  2. theorem OAI.BoltzmannNonuniqueness.WeakTime.cumulative_monotone line 18
  3. theorem OAI.BoltzmannNonuniqueness.WeakTime.cumulative_locallyIntegrable line 22
  4. theorem OAI.BoltzmannNonuniqueness.WeakTime.cumulative_weak_derivative line 25
  5. theorem OAI.BoltzmannNonuniqueness.WeakTime.cumulative_increment line 65
  6. theorem OAI.BoltzmannNonuniqueness.WeakTime.ae_interval_balance line 74