OAI/Probability/MatroidProphet/Certificates/Execution.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatroidProphet.QueryProgram.run line 11
2. lemma OAI.MatroidProphet.QueryProgram.run_congr line 17
3. lemma OAI.MatroidProphet.QueryProgram.expected_eq_product line 38
4. theorem OAI.MatroidProphet.disjoint_query_certificates_product line 71