OAI/Computability/MeanPayoff/RawMass.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MeanPayoff.TreeDevice.Certified.DetMass.Data line 10
  2. abbrev OAI.MeanPayoff.TreeDevice.Certified.DetMass.Pair line 11
  3. def OAI.MeanPayoff.TreeDevice.Certified.DetMass.scale line 13
  4. def OAI.MeanPayoff.TreeDevice.Certified.DetMass.labels line 15
  5. def OAI.MeanPayoff.TreeDevice.Certified.DetMass.products line 16
  6. def OAI.MeanPayoff.TreeDevice.Certified.DetMass.denominator line 17
  7. def OAI.MeanPayoff.TreeDevice.Certified.DetMass.base line 18
  8. def OAI.MeanPayoff.TreeDevice.Certified.DetMass.reweight line 20
  9. structure OAI.MeanPayoff.TreeDevice.Certified.DetMass.Rep line 25
  10. theorem OAI.MeanPayoff.TreeDevice.Certified.DetMass.Rep.positive line 30
  11. theorem OAI.MeanPayoff.TreeDevice.Certified.DetMass.scale_rep line 36
  12. theorem OAI.MeanPayoff.TreeDevice.Certified.DetMass.labels_eq line 56
  13. theorem OAI.MeanPayoff.TreeDevice.Certified.DetMass.base_eq line 69
  14. theorem OAI.MeanPayoff.TreeDevice.Certified.DetMass.reweight_rep line 89