OAI/Combinatorics/BalancedRyser/Selection/SelectionHistoryMarginal.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.Selection.Process.integrable_stateObservable line 14
2. theorem OAI.Balanced.Selection.Process.sum_snapshotWeight_stateObservable line 21
3. theorem OAI.Balanced.Selection.Process.integral_stateObservable_eq_historyWeight line 28
4. theorem OAI.Balanced.Selection.Process.state_event_real_eq_historyWeight line 71
5. theorem OAI.Balanced.Selection.Process.map_state_snapshotPathLaw line 84