OAI/Combinatorics/ContingencyTables/Machines/CachedTerminalSemantics.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Cached terminal success counts equal the actual completion law

  1. lemma OAI.ContingencyTables.SmallGraphProfiles.tableCode_option_eq line 30
  2. def OAI.ContingencyTables.SmallGraphProfiles.listedTerminalDecision line 42
  3. lemma OAI.ContingencyTables.SmallGraphProfiles.terminal_completion_sum line 47
  4. lemma OAI.ContingencyTables.SmallGraphProfiles.terminal_cache_sum line 60
  5. lemma OAI.ContingencyTables.SmallGraphProfiles.terminalCount_actual line 94