OAI/Combinatorics/SnakyCertificate/Entries01.lean

GitHub source file

100 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SnakyCertificate.entry_106 line 7

   Also declared: ComparatorChallenges/SnakyCertificate.lean:253 (same declaration text).

2. def OAI.SnakyCertificate.entry_107 line 9

   Also declared: ComparatorChallenges/SnakyCertificate.lean:255 (same declaration text).

3. def OAI.SnakyCertificate.entry_108 line 11

   Also declared: ComparatorChallenges/SnakyCertificate.lean:257 (same declaration text).

4. def OAI.SnakyCertificate.entry_109 line 13

   Also declared: ComparatorChallenges/SnakyCertificate.lean:259 (same declaration text).

5. def OAI.SnakyCertificate.entry_110 line 15

   Also declared: ComparatorChallenges/SnakyCertificate.lean:261 (same declaration text).

6. def OAI.SnakyCertificate.entry_111 line 17

   Also declared: ComparatorChallenges/SnakyCertificate.lean:263 (same declaration text).

7. def OAI.SnakyCertificate.entry_112 line 19

   Also declared: ComparatorChallenges/SnakyCertificate.lean:265 (same declaration text).

8. def OAI.SnakyCertificate.entry_113 line 21

   Also declared: ComparatorChallenges/SnakyCertificate.lean:267 (same declaration text).

9. def OAI.SnakyCertificate.entry_114 line 23

   Also declared: ComparatorChallenges/SnakyCertificate.lean:269 (same declaration text).

10. def OAI.SnakyCertificate.entry_115 line 25

    Also declared: ComparatorChallenges/SnakyCertificate.lean:271 (same declaration text).

11. def OAI.SnakyCertificate.entry_116 line 27

    Also declared: ComparatorChallenges/SnakyCertificate.lean:273 (same declaration text).

12. def OAI.SnakyCertificate.entry_117 line 29

    Also declared: ComparatorChallenges/SnakyCertificate.lean:275 (same declaration text).

13. def OAI.SnakyCertificate.entry_118 line 31

    Also declared: ComparatorChallenges/SnakyCertificate.lean:277 (same declaration text).

14. def OAI.SnakyCertificate.entry_119 line 33

    Also declared: ComparatorChallenges/SnakyCertificate.lean:279 (same declaration text).

15. def OAI.SnakyCertificate.entry_120 line 35

    Also declared: ComparatorChallenges/SnakyCertificate.lean:281 (same declaration text).

16. def OAI.SnakyCertificate.entry_121 line 37

    Also declared: ComparatorChallenges/SnakyCertificate.lean:283 (same declaration text).

17. def OAI.SnakyCertificate.entry_122 line 39

    Also declared: ComparatorChallenges/SnakyCertificate.lean:285 (same declaration text).

18. def OAI.SnakyCertificate.entry_123 line 41

    Also declared: ComparatorChallenges/SnakyCertificate.lean:287 (same declaration text).

19. def OAI.SnakyCertificate.entry_124 line 43

    Also declared: ComparatorChallenges/SnakyCertificate.lean:289 (same declaration text).

20. def OAI.SnakyCertificate.entry_125 line 45

    Also declared: ComparatorChallenges/SnakyCertificate.lean:291 (same declaration text).

21. def OAI.SnakyCertificate.entry_126 line 47

    Also declared: ComparatorChallenges/SnakyCertificate.lean:293 (same declaration text).

22. def OAI.SnakyCertificate.entry_127 line 49

    Also declared: ComparatorChallenges/SnakyCertificate.lean:295 (same declaration text).

23. def OAI.SnakyCertificate.entry_128 line 51

    Also declared: ComparatorChallenges/SnakyCertificate.lean:297 (same declaration text).

24. def OAI.SnakyCertificate.entry_129 line 53

    Also declared: ComparatorChallenges/SnakyCertificate.lean:299 (same declaration text).

25. def OAI.SnakyCertificate.entry_130 line 55

    Also declared: ComparatorChallenges/SnakyCertificate.lean:301 (same declaration text).

26. def OAI.SnakyCertificate.entry_131 line 57

    Also declared: ComparatorChallenges/SnakyCertificate.lean:303 (same declaration text).

27. def OAI.SnakyCertificate.entry_132 line 59

    Also declared: ComparatorChallenges/SnakyCertificate.lean:305 (same declaration text).

28. def OAI.SnakyCertificate.entry_133 line 61

    Also declared: ComparatorChallenges/SnakyCertificate.lean:307 (same declaration text).

29. def OAI.SnakyCertificate.entry_134 line 63

    Also declared: ComparatorChallenges/SnakyCertificate.lean:309 (same declaration text).

30. def OAI.SnakyCertificate.entry_135 line 65

    Also declared: ComparatorChallenges/SnakyCertificate.lean:311 (same declaration text).

31. def OAI.SnakyCertificate.entry_136 line 67

    Also declared: ComparatorChallenges/SnakyCertificate.lean:313 (same declaration text).

32. def OAI.SnakyCertificate.entry_137 line 69

    Also declared: ComparatorChallenges/SnakyCertificate.lean:315 (same declaration text).

33. def OAI.SnakyCertificate.entry_138 line 71

    Also declared: ComparatorChallenges/SnakyCertificate.lean:317 (same declaration text).

34. def OAI.SnakyCertificate.entry_139 line 73

    Also declared: ComparatorChallenges/SnakyCertificate.lean:319 (same declaration text).

35. def OAI.SnakyCertificate.entry_140 line 75

    Also declared: ComparatorChallenges/SnakyCertificate.lean:321 (same declaration text).

36. def OAI.SnakyCertificate.entry_141 line 77

    Also declared: ComparatorChallenges/SnakyCertificate.lean:323 (same declaration text).

37. def OAI.SnakyCertificate.entry_142 line 79

    Also declared: ComparatorChallenges/SnakyCertificate.lean:325 (same declaration text).

38. def OAI.SnakyCertificate.entry_143 line 81

    Also declared: ComparatorChallenges/SnakyCertificate.lean:327 (same declaration text).

39. def OAI.SnakyCertificate.entry_144 line 83

    Also declared: ComparatorChallenges/SnakyCertificate.lean:329 (same declaration text).

40. def OAI.SnakyCertificate.entry_145 line 85

    Also declared: ComparatorChallenges/SnakyCertificate.lean:331 (same declaration text).

41. def OAI.SnakyCertificate.entry_146 line 87

    Also declared: ComparatorChallenges/SnakyCertificate.lean:333 (same declaration text).

42. def OAI.SnakyCertificate.entry_147 line 89

    Also declared: ComparatorChallenges/SnakyCertificate.lean:335 (same declaration text).

43. def OAI.SnakyCertificate.entry_148 line 91

    Also declared: ComparatorChallenges/SnakyCertificate.lean:337 (same declaration text).

44. def OAI.SnakyCertificate.entry_149 line 93

    Also declared: ComparatorChallenges/SnakyCertificate.lean:339 (same declaration text).

45. def OAI.SnakyCertificate.entry_150 line 95

    Also declared: ComparatorChallenges/SnakyCertificate.lean:341 (same declaration text).

46. def OAI.SnakyCertificate.entry_151 line 97

    Also declared: ComparatorChallenges/SnakyCertificate.lean:343 (same declaration text).

47. def OAI.SnakyCertificate.entry_152 line 99

    Also declared: ComparatorChallenges/SnakyCertificate.lean:345 (same declaration text).

48. def OAI.SnakyCertificate.entry_153 line 101

    Also declared: ComparatorChallenges/SnakyCertificate.lean:347 (same declaration text).

49. def OAI.SnakyCertificate.entry_154 line 103

    Also declared: ComparatorChallenges/SnakyCertificate.lean:349 (same declaration text).

50. def OAI.SnakyCertificate.entry_155 line 105

    Also declared: ComparatorChallenges/SnakyCertificate.lean:351 (same declaration text).

51. def OAI.SnakyCertificate.entry_156 line 107

    Also declared: ComparatorChallenges/SnakyCertificate.lean:353 (same declaration text).

52. def OAI.SnakyCertificate.entry_157 line 109

    Also declared: ComparatorChallenges/SnakyCertificate.lean:355 (same declaration text).

53. def OAI.SnakyCertificate.entry_158 line 111

    Also declared: ComparatorChallenges/SnakyCertificate.lean:357 (same declaration text).

54. def OAI.SnakyCertificate.entry_159 line 113

    Also declared: ComparatorChallenges/SnakyCertificate.lean:359 (same declaration text).

55. def OAI.SnakyCertificate.entry_160 line 115

    Also declared: ComparatorChallenges/SnakyCertificate.lean:361 (same declaration text).

56. def OAI.SnakyCertificate.entry_161 line 117

    Also declared: ComparatorChallenges/SnakyCertificate.lean:363 (same declaration text).

57. def OAI.SnakyCertificate.entry_162 line 119

    Also declared: ComparatorChallenges/SnakyCertificate.lean:365 (same declaration text).

58. def OAI.SnakyCertificate.entry_163 line 121

    Also declared: ComparatorChallenges/SnakyCertificate.lean:367 (same declaration text).

59. def OAI.SnakyCertificate.entry_164 line 123

    Also declared: ComparatorChallenges/SnakyCertificate.lean:369 (same declaration text).

60. def OAI.SnakyCertificate.entry_165 line 125

    Also declared: ComparatorChallenges/SnakyCertificate.lean:371 (same declaration text).

61. def OAI.SnakyCertificate.entry_166 line 127

    Also declared: ComparatorChallenges/SnakyCertificate.lean:373 (same declaration text).

62. def OAI.SnakyCertificate.entry_167 line 129

    Also declared: ComparatorChallenges/SnakyCertificate.lean:375 (same declaration text).

63. def OAI.SnakyCertificate.entry_168 line 131

    Also declared: ComparatorChallenges/SnakyCertificate.lean:377 (same declaration text).

64. def OAI.SnakyCertificate.entry_169 line 133

    Also declared: ComparatorChallenges/SnakyCertificate.lean:379 (same declaration text).

65. def OAI.SnakyCertificate.entry_170 line 135

    Also declared: ComparatorChallenges/SnakyCertificate.lean:381 (same declaration text).

66. def OAI.SnakyCertificate.entry_171 line 137

    Also declared: ComparatorChallenges/SnakyCertificate.lean:383 (same declaration text).

67. def OAI.SnakyCertificate.entry_172 line 139

    Also declared: ComparatorChallenges/SnakyCertificate.lean:385 (same declaration text).

68. def OAI.SnakyCertificate.entry_173 line 141

    Also declared: ComparatorChallenges/SnakyCertificate.lean:387 (same declaration text).

69. def OAI.SnakyCertificate.entry_174 line 143

    Also declared: ComparatorChallenges/SnakyCertificate.lean:389 (same declaration text).

70. def OAI.SnakyCertificate.entry_175 line 145

    Also declared: ComparatorChallenges/SnakyCertificate.lean:391 (same declaration text).

71. def OAI.SnakyCertificate.entry_176 line 147

    Also declared: ComparatorChallenges/SnakyCertificate.lean:393 (same declaration text).

72. def OAI.SnakyCertificate.entry_177 line 149

    Also declared: ComparatorChallenges/SnakyCertificate.lean:395 (same declaration text).

73. def OAI.SnakyCertificate.entry_178 line 151

    Also declared: ComparatorChallenges/SnakyCertificate.lean:397 (same declaration text).

74. def OAI.SnakyCertificate.entry_179 line 153

    Also declared: ComparatorChallenges/SnakyCertificate.lean:399 (same declaration text).

75. def OAI.SnakyCertificate.entry_180 line 155

    Also declared: ComparatorChallenges/SnakyCertificate.lean:401 (same declaration text).

76. def OAI.SnakyCertificate.entry_181 line 157

    Also declared: ComparatorChallenges/SnakyCertificate.lean:403 (same declaration text).

77. def OAI.SnakyCertificate.entry_182 line 159

    Also declared: ComparatorChallenges/SnakyCertificate.lean:405 (same declaration text).

78. def OAI.SnakyCertificate.entry_183 line 161

    Also declared: ComparatorChallenges/SnakyCertificate.lean:407 (same declaration text).

79. def OAI.SnakyCertificate.entry_184 line 163

    Also declared: ComparatorChallenges/SnakyCertificate.lean:409 (same declaration text).

80. def OAI.SnakyCertificate.entry_185 line 165

    Also declared: ComparatorChallenges/SnakyCertificate.lean:411 (same declaration text).

81. def OAI.SnakyCertificate.entry_186 line 167

    Also declared: ComparatorChallenges/SnakyCertificate.lean:413 (same declaration text).

82. def OAI.SnakyCertificate.entry_187 line 169

    Also declared: ComparatorChallenges/SnakyCertificate.lean:415 (same declaration text).

83. def OAI.SnakyCertificate.entry_188 line 171

    Also declared: ComparatorChallenges/SnakyCertificate.lean:417 (same declaration text).

84. def OAI.SnakyCertificate.entry_189 line 173

    Also declared: ComparatorChallenges/SnakyCertificate.lean:419 (same declaration text).

85. def OAI.SnakyCertificate.entry_190 line 175

    Also declared: ComparatorChallenges/SnakyCertificate.lean:421 (same declaration text).

86. def OAI.SnakyCertificate.entry_191 line 177

    Also declared: ComparatorChallenges/SnakyCertificate.lean:423 (same declaration text).

87. def OAI.SnakyCertificate.entry_192 line 179

    Also declared: ComparatorChallenges/SnakyCertificate.lean:425 (same declaration text).

88. def OAI.SnakyCertificate.entry_193 line 181

    Also declared: ComparatorChallenges/SnakyCertificate.lean:427 (same declaration text).

89. def OAI.SnakyCertificate.entry_194 line 183

    Also declared: ComparatorChallenges/SnakyCertificate.lean:429 (same declaration text).

90. def OAI.SnakyCertificate.entry_195 line 185

    Also declared: ComparatorChallenges/SnakyCertificate.lean:431 (same declaration text).

91. def OAI.SnakyCertificate.entry_196 line 187

    Also declared: ComparatorChallenges/SnakyCertificate.lean:433 (same declaration text).

92. def OAI.SnakyCertificate.entry_197 line 189

    Also declared: ComparatorChallenges/SnakyCertificate.lean:435 (same declaration text).

93. def OAI.SnakyCertificate.entry_198 line 191

    Also declared: ComparatorChallenges/SnakyCertificate.lean:437 (same declaration text).

94. def OAI.SnakyCertificate.entry_199 line 193

    Also declared: ComparatorChallenges/SnakyCertificate.lean:439 (same declaration text).

95. def OAI.SnakyCertificate.entry_200 line 195

    Also declared: ComparatorChallenges/SnakyCertificate.lean:441 (same declaration text).

96. def OAI.SnakyCertificate.entry_201 line 197

    Also declared: ComparatorChallenges/SnakyCertificate.lean:443 (same declaration text).

97. def OAI.SnakyCertificate.entry_202 line 199

    Also declared: ComparatorChallenges/SnakyCertificate.lean:445 (same declaration text).

98. def OAI.SnakyCertificate.entry_203 line 201

    Also declared: ComparatorChallenges/SnakyCertificate.lean:447 (same declaration text).

99. def OAI.SnakyCertificate.entry_204 line 203

    Also declared: ComparatorChallenges/SnakyCertificate.lean:449 (same declaration text).

100. def OAI.SnakyCertificate.entry_205 line 205

     Also declared: ComparatorChallenges/SnakyCertificate.lean:451 (same declaration text).