OAI/MathematicalPhysics/PrefixFlows/Effective.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Effective force families and loading pulses.

  1. abbrev OAI.PrefixFlows.RationalCode line 12
  2. def OAI.PrefixFlows.RationalCode.value line 14
  3. def OAI.PrefixFlows.accuracy line 15
  4. def OAI.PrefixFlows.ComputableReal line 17
  5. def OAI.PrefixFlows.coordinatePartial line 22
  6. def OAI.PrefixFlows.mixed line 26
  7. abbrev OAI.PrefixFlows.RationalPoint line 31
  8. def OAI.PrefixFlows.RationalPoint.value line 33
  9. abbrev OAI.PrefixFlows.EvaluationQuery line 36
  10. abbrev OAI.PrefixFlows.BoundQuery line 37
  11. def OAI.PrefixFlows.EffectiveFamily line 41
  12. def OAI.PrefixFlows.UnitPulse line 53
  13. def OAI.PrefixFlows.assemble line 59
  14. def OAI.PrefixFlows.InstanceContract line 65
  15. def OAI.PrefixFlows.InterspersedHistoryConclusion line 78