OAI/MathematicalPhysics/NavierStokes/BalancedTransport/NumericScopes.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BalancedTransport.Effectivity.NumericOp.Scoped line 8
  2. lemma OAI.BalancedTransport.Effectivity.NumericOp.real_append line 22
  3. lemma OAI.BalancedTransport.Effectivity.NumericOp.valid_append line 30
  4. def OAI.BalancedTransport.Effectivity.NumericProgram.ScopedFrom line 45
  5. def OAI.BalancedTransport.Effectivity.NumericProgram.Closed line 49
  6. lemma OAI.BalancedTransport.Effectivity.NumericProgram.realFrom_length line 51
  7. lemma OAI.BalancedTransport.Effectivity.NumericProgram.realFrom_append line 57
  8. lemma OAI.BalancedTransport.Effectivity.NumericProgram.validFrom_append line 67
  9. lemma OAI.BalancedTransport.Effectivity.NumericProgram.realFrom_empty_append line 77
  10. lemma OAI.BalancedTransport.Effectivity.NumericProgram.validFrom_of_closed line 81
  11. lemma OAI.BalancedTransport.Effectivity.NumericProgram.realFrom_concat line 84
  12. lemma OAI.BalancedTransport.Effectivity.NumericProgram.validFrom_concat line 87
  13. lemma OAI.BalancedTransport.Effectivity.NumericProgram.scopedFrom_mono line 94
  14. lemma OAI.BalancedTransport.Effectivity.NumericProgram.scopedFrom_concat line 107