OAI/Combinatorics/SnakyCertificate/Entries02.lean

GitHub source file

100 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SnakyCertificate.entry_206 line 7

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

2. def OAI.SnakyCertificate.entry_207 line 9

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

3. def OAI.SnakyCertificate.entry_208 line 11

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

4. def OAI.SnakyCertificate.entry_209 line 13

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

5. def OAI.SnakyCertificate.entry_210 line 15

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

6. def OAI.SnakyCertificate.entry_211 line 17

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

7. def OAI.SnakyCertificate.entry_212 line 19

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

8. def OAI.SnakyCertificate.entry_213 line 21

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

9. def OAI.SnakyCertificate.entry_214 line 23

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

10. def OAI.SnakyCertificate.entry_215 line 25

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

11. def OAI.SnakyCertificate.entry_216 line 27

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

12. def OAI.SnakyCertificate.entry_217 line 29

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

13. def OAI.SnakyCertificate.entry_218 line 31

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

14. def OAI.SnakyCertificate.entry_219 line 33

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

15. def OAI.SnakyCertificate.entry_220 line 35

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

16. def OAI.SnakyCertificate.entry_221 line 37

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

17. def OAI.SnakyCertificate.entry_222 line 39

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

18. def OAI.SnakyCertificate.entry_223 line 41

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

19. def OAI.SnakyCertificate.entry_224 line 43

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

20. def OAI.SnakyCertificate.entry_225 line 45

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

21. def OAI.SnakyCertificate.entry_226 line 47

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

22. def OAI.SnakyCertificate.entry_227 line 49

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

23. def OAI.SnakyCertificate.entry_228 line 51

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

24. def OAI.SnakyCertificate.entry_229 line 53

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

25. def OAI.SnakyCertificate.entry_230 line 55

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

26. def OAI.SnakyCertificate.entry_231 line 57

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

27. def OAI.SnakyCertificate.entry_232 line 59

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

28. def OAI.SnakyCertificate.entry_233 line 61

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

29. def OAI.SnakyCertificate.entry_234 line 63

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

30. def OAI.SnakyCertificate.entry_235 line 65

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

31. def OAI.SnakyCertificate.entry_236 line 67

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

32. def OAI.SnakyCertificate.entry_237 line 69

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

33. def OAI.SnakyCertificate.entry_238 line 71

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

34. def OAI.SnakyCertificate.entry_239 line 73

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

35. def OAI.SnakyCertificate.entry_240 line 75

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

36. def OAI.SnakyCertificate.entry_241 line 77

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

37. def OAI.SnakyCertificate.entry_242 line 79

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

38. def OAI.SnakyCertificate.entry_243 line 81

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

39. def OAI.SnakyCertificate.entry_244 line 83

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

40. def OAI.SnakyCertificate.entry_245 line 85

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

41. def OAI.SnakyCertificate.entry_246 line 87

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

42. def OAI.SnakyCertificate.entry_247 line 89

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

43. def OAI.SnakyCertificate.entry_248 line 91

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

44. def OAI.SnakyCertificate.entry_249 line 93

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

45. def OAI.SnakyCertificate.entry_250 line 95

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

46. def OAI.SnakyCertificate.entry_251 line 97

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

47. def OAI.SnakyCertificate.entry_252 line 99

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

48. def OAI.SnakyCertificate.entry_253 line 101

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

49. def OAI.SnakyCertificate.entry_254 line 103

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

50. def OAI.SnakyCertificate.entry_255 line 105

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

51. def OAI.SnakyCertificate.entry_256 line 107

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

52. def OAI.SnakyCertificate.entry_257 line 109

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

53. def OAI.SnakyCertificate.entry_258 line 111

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

54. def OAI.SnakyCertificate.entry_259 line 113

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

55. def OAI.SnakyCertificate.entry_260 line 115

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

56. def OAI.SnakyCertificate.entry_261 line 117

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

57. def OAI.SnakyCertificate.entry_262 line 119

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

58. def OAI.SnakyCertificate.entry_263 line 121

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

59. def OAI.SnakyCertificate.entry_264 line 123

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

60. def OAI.SnakyCertificate.entry_265 line 125

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

61. def OAI.SnakyCertificate.entry_266 line 127

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

62. def OAI.SnakyCertificate.entry_267 line 129

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

63. def OAI.SnakyCertificate.entry_268 line 131

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

64. def OAI.SnakyCertificate.entry_269 line 133

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

65. def OAI.SnakyCertificate.entry_270 line 135

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

66. def OAI.SnakyCertificate.entry_271 line 137

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

67. def OAI.SnakyCertificate.entry_272 line 139

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

68. def OAI.SnakyCertificate.entry_273 line 141

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

69. def OAI.SnakyCertificate.entry_274 line 143

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

70. def OAI.SnakyCertificate.entry_275 line 145

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

71. def OAI.SnakyCertificate.entry_276 line 147

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

72. def OAI.SnakyCertificate.entry_277 line 149

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

73. def OAI.SnakyCertificate.entry_278 line 151

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

74. def OAI.SnakyCertificate.entry_279 line 153

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

75. def OAI.SnakyCertificate.entry_280 line 155

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

76. def OAI.SnakyCertificate.entry_281 line 157

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

77. def OAI.SnakyCertificate.entry_282 line 159

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

78. def OAI.SnakyCertificate.entry_283 line 161

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

79. def OAI.SnakyCertificate.entry_284 line 163

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

80. def OAI.SnakyCertificate.entry_285 line 165

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

81. def OAI.SnakyCertificate.entry_286 line 167

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

82. def OAI.SnakyCertificate.entry_287 line 169

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

83. def OAI.SnakyCertificate.entry_288 line 171

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

84. def OAI.SnakyCertificate.entry_289 line 173

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

85. def OAI.SnakyCertificate.entry_290 line 175

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

86. def OAI.SnakyCertificate.entry_291 line 177

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

87. def OAI.SnakyCertificate.entry_292 line 179

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

88. def OAI.SnakyCertificate.entry_293 line 181

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

89. def OAI.SnakyCertificate.entry_294 line 183

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

90. def OAI.SnakyCertificate.entry_295 line 185

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

91. def OAI.SnakyCertificate.entry_296 line 187

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

92. def OAI.SnakyCertificate.entry_297 line 189

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

93. def OAI.SnakyCertificate.entry_298 line 191

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

94. def OAI.SnakyCertificate.entry_299 line 193

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

95. def OAI.SnakyCertificate.entry_300 line 195

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

96. def OAI.SnakyCertificate.entry_301 line 197

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

97. def OAI.SnakyCertificate.entry_302 line 199

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

98. def OAI.SnakyCertificate.entry_303 line 201

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

99. def OAI.SnakyCertificate.entry_304 line 203

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

100. def OAI.SnakyCertificate.entry_305 line 205

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