OAI/Analysis/MarkovType/MarkedChains.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MarkovSuperreflexivity.FiniteMarkedChain line 13
  2. abbrev OAI.MarkovSuperreflexivity.MarkedPath line 28
  3. def OAI.MarkovSuperreflexivity.markedState line 30
  4. def OAI.MarkovSuperreflexivity.markedValid line 35
  5. def OAI.MarkovSuperreflexivity.markedPathWeight line 39
  6. def OAI.MarkovSuperreflexivity.markedExpect line 44
  7. def OAI.MarkovSuperreflexivity.markedProb line 48
  8. def OAI.MarkovSuperreflexivity.edgeSum line 53
  9. def OAI.MarkovSuperreflexivity.stationaryEdgeCost line 57
  10. def OAI.MarkovSuperreflexivity.markedSumCost line 61
  11. def OAI.MarkovSuperreflexivity.OddLabel line 66