OAI/Combinatorics/RamseyFive/Geometry/StreamGeometry.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SharpRamseyFive.SelectedTuple.Geometric line 15
2. lemma OAI.SharpRamseyFive.SelectedTuple.Prepared.geometric line 21
3. lemma OAI.SharpRamseyFive.SelectedTuple.Geometric.restrict line 27
4. lemma OAI.SharpRamseyFive.SelectedTuple.Geometric.reindex line 34
5. lemma OAI.SharpRamseyFive.SelectedTuple.Geometric.extract line 39
6. lemma OAI.SharpRamseyFive.SelectedTuple.Geometric.augment line 59
7. lemma OAI.SharpRamseyFive.SelectedTuple.Geometric.augmentSigma line 67
8. lemma OAI.SharpRamseyFive.SelectedTuple.Geometric.swap line 74
9. structure OAI.SharpRamseyFive.SelectedTuple.CodedStream line 81