OAI/Combinatorics/RamseyFive/Iteration/StageState.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.SelectedTuple.sourceSequence line 13
2. def OAI.SharpRamseyFive.SelectedTuple.reverseEmbedding line 16
3. lemma OAI.SharpRamseyFive.SelectedTuple.sourceSequence_occurs line 24
4. structure OAI.SharpRamseyFive.SelectedTuple.SelectedStream line 35
5. def OAI.SharpRamseyFive.SelectedTuple.SelectedStream.augment line 50
6. def OAI.SharpRamseyFive.SelectedTuple.SelectedStream.restrict line 73
7. def OAI.SharpRamseyFive.SelectedTuple.SelectedStream.extract line 91
8. def OAI.SharpRamseyFive.SelectedTuple.SelectedStream.changeOrientation line 107
9. theorem OAI.SharpRamseyFive.SelectedTuple.SelectedStream.entropy_lower line 130