OAI/Combinatorics/ContingencyTables/Transport/CompletionFibreTransport.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Changing a retained profile by an equality keeps the literal views

  1. def OAI.ContingencyTables.PhysicalCompletionFibres.withProfile line 13
  2. lemma OAI.ContingencyTables.PhysicalCompletionFibres.withProfile_val line 17