OAI/Combinatorics/ContingencyTables/Counting/CompanionTrajectoryLaw.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The executed observation trajectory has the selected-root source law

  1. theorem OAI.ContingencyTables.CompanionTrajectoryProgram.observations_sameLaw line 19