OAI/Probability/BinarySweep/Trajectories/SharingProbability.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinaryCoordinateSweeps.Sparse.sharingGraph line 13
2. def OAI.BinaryCoordinateSweeps.Sparse.incidentSet line 19
3. lemma OAI.BinaryCoordinateSweeps.Sparse.sharing_depthOne line 23
4. theorem OAI.BinaryCoordinateSweeps.Sparse.sharing_probability_le line 47