OAI/Combinatorics/ContingencyTables/Rooted/RootedObservableApplication.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Observable bounds from the actual selected-root factorial signatures

  1. theorem OAI.ContingencyTables.RootedObservableApplication.transversal_variance line 16
  2. theorem OAI.ContingencyTables.RootedObservableApplication.observable_poincare line 47