OAI/Combinatorics/ContingencyTables/Transport/StateSuccessEntries.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The successful state-to-table map removes precisely the large padding

  1. lemma OAI.ContingencyTables.SmallGraphProfiles.originalStateSuccessEquiv_symm_entry line 15