OAI/Combinatorics/BalancedRyser/Probability/MainAssembly.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Balanced.SelectedLocalTransport line 18
2. theorem OAI.Balanced.selectedLocalTransport_proof line 30
3. def OAI.Balanced.SelectedCoreTransport line 37
4. theorem OAI.Balanced.selectedCoreTransport_proof line 49
5. theorem OAI.Balanced.mainResult_of_selected_results_and_transports line 53
6. theorem OAI.Balanced.mainResult_of_selectedDeletion_corePencil_local_deterministic line 125