OAI/Computability/VertexCover/Fourier/SourceGap.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniqueGames.Foundations.Hastad.SourceGap.ClauseGap line 48
2. theorem OAI.UniqueGames.Foundations.Hastad.SourceGap.third_pos line 53
3. theorem OAI.UniqueGames.Foundations.Hastad.SourceGap.third_le_one line 55
4. def OAI.UniqueGames.Foundations.Hastad.SourceGap.repetitionCount line 57
5. theorem OAI.UniqueGames.Foundations.Hastad.SourceGap.repetitionCount_pos line 61
6. theorem OAI.UniqueGames.Foundations.Hastad.SourceGap.repeated_game_bound line 66
7. def OAI.UniqueGames.Foundations.Hastad.SourceGap.source line 82
8. theorem OAI.UniqueGames.Foundations.Hastad.SourceGap.source_complete line 86
9. theorem OAI.UniqueGames.Foundations.Hastad.SourceGap.source_sound line 99
10. theorem OAI.UniqueGames.Foundations.Hastad.SourceGap.source_size line 110