OAI/Combinatorics/EuclideanRamsey/PathSynchronization.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.EuclideanRamsey.scaleGroup line 31
2. lemma OAI.EuclideanRamsey.Path.scale line 32
3. lemma OAI.EuclideanRamsey.Path.list_prod line 45
4. lemma OAI.EuclideanRamsey.synchronized_chain line 54
5. theorem OAI.EuclideanRamsey.synchronize_paths line 101