OAI/Combinatorics/BalancedRyser/Selection/SelectionHistoryFinalLaw.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.Selection.Process.finalLaw_weight_eq_path_integral line 15
2. theorem OAI.Balanced.Selection.Process.successMass_finalLaw_eq_path_probability line 24
3. theorem OAI.Balanced.Selection.Process.cylinderMass_finalLaw_eq_path_integral line 36
4. theorem OAI.Balanced.Selection.Process.occupancyFailureMass_finalLaw_eq_path_integral line 47