OAI/Combinatorics/EditApproximation/Refinement/PhysicalSubtreePrediction.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

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

  1. def OAI.EditApproximation.subtreeComparisonPrediction line 24
  2. theorem OAI.EditApproximation.subtreeComparisonPrediction_active line 45
  3. theorem OAI.EditApproximation.subtreeComparisonCharges_active line 73