OAI/Combinatorics/EditApproximation/Refinement/StageComparisonPrediction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The actual comparison charges and rational velocity predictor at a physical slot.

  1. def OAI.EditApproximation.stageComparisonPrediction line 22
  2. theorem OAI.EditApproximation.stageComparisonPrediction_active line 43
  3. theorem OAI.EditApproximation.stageComparisonCharges_active line 71
  4. theorem OAI.EditApproximation.nonbad_charge_bounds line 99