OAI/Combinatorics/ContingencyTables/Transport/TableReindex.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Relabeling a rectangular completion, preserving every table

  1. def OAI.ContingencyTables.tableReindex line 14