OAI/Combinatorics/SnakyCertificate/Entries04.lean

GitHub source file

100 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SnakyCertificate.entry_406 line 7

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

2. def OAI.SnakyCertificate.entry_407 line 9

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

3. def OAI.SnakyCertificate.entry_408 line 11

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

4. def OAI.SnakyCertificate.entry_409 line 13

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

5. def OAI.SnakyCertificate.entry_410 line 15

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

6. def OAI.SnakyCertificate.entry_411 line 17

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

7. def OAI.SnakyCertificate.entry_412 line 19

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

8. def OAI.SnakyCertificate.entry_413 line 21

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

9. def OAI.SnakyCertificate.entry_414 line 23

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

10. def OAI.SnakyCertificate.entry_415 line 25

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

11. def OAI.SnakyCertificate.entry_416 line 27

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

12. def OAI.SnakyCertificate.entry_417 line 29

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

13. def OAI.SnakyCertificate.entry_418 line 31

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

14. def OAI.SnakyCertificate.entry_419 line 33

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

15. def OAI.SnakyCertificate.entry_420 line 35

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

16. def OAI.SnakyCertificate.entry_421 line 37

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

17. def OAI.SnakyCertificate.entry_422 line 39

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

18. def OAI.SnakyCertificate.entry_423 line 41

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

19. def OAI.SnakyCertificate.entry_424 line 43

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

20. def OAI.SnakyCertificate.entry_425 line 45

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

21. def OAI.SnakyCertificate.entry_426 line 47

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

22. def OAI.SnakyCertificate.entry_427 line 49

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

23. def OAI.SnakyCertificate.entry_428 line 51

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

24. def OAI.SnakyCertificate.entry_429 line 53

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

25. def OAI.SnakyCertificate.entry_430 line 55

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

26. def OAI.SnakyCertificate.entry_431 line 57

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

27. def OAI.SnakyCertificate.entry_432 line 59

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

28. def OAI.SnakyCertificate.entry_433 line 61

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

29. def OAI.SnakyCertificate.entry_434 line 63

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

30. def OAI.SnakyCertificate.entry_435 line 65

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

31. def OAI.SnakyCertificate.entry_436 line 67

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

32. def OAI.SnakyCertificate.entry_437 line 69

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

33. def OAI.SnakyCertificate.entry_438 line 71

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

34. def OAI.SnakyCertificate.entry_439 line 73

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

35. def OAI.SnakyCertificate.entry_440 line 75

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

36. def OAI.SnakyCertificate.entry_441 line 77

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

37. def OAI.SnakyCertificate.entry_442 line 79

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

38. def OAI.SnakyCertificate.entry_443 line 81

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

39. def OAI.SnakyCertificate.entry_444 line 83

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

40. def OAI.SnakyCertificate.entry_445 line 85

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

41. def OAI.SnakyCertificate.entry_446 line 87

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

42. def OAI.SnakyCertificate.entry_447 line 89

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

43. def OAI.SnakyCertificate.entry_448 line 91

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

44. def OAI.SnakyCertificate.entry_449 line 93

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

45. def OAI.SnakyCertificate.entry_450 line 95

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

46. def OAI.SnakyCertificate.entry_451 line 97

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

47. def OAI.SnakyCertificate.entry_452 line 99

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

48. def OAI.SnakyCertificate.entry_453 line 101

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

49. def OAI.SnakyCertificate.entry_454 line 103

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

50. def OAI.SnakyCertificate.entry_455 line 105

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

51. def OAI.SnakyCertificate.entry_456 line 107

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

52. def OAI.SnakyCertificate.entry_457 line 109

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

53. def OAI.SnakyCertificate.entry_458 line 111

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

54. def OAI.SnakyCertificate.entry_459 line 113

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

55. def OAI.SnakyCertificate.entry_460 line 115

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

56. def OAI.SnakyCertificate.entry_461 line 117

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

57. def OAI.SnakyCertificate.entry_462 line 119

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

58. def OAI.SnakyCertificate.entry_463 line 121

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

59. def OAI.SnakyCertificate.entry_464 line 123

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

60. def OAI.SnakyCertificate.entry_465 line 125

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

61. def OAI.SnakyCertificate.entry_466 line 127

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

62. def OAI.SnakyCertificate.entry_467 line 129

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

63. def OAI.SnakyCertificate.entry_468 line 131

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

64. def OAI.SnakyCertificate.entry_469 line 133

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

65. def OAI.SnakyCertificate.entry_470 line 135

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

66. def OAI.SnakyCertificate.entry_471 line 137

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

67. def OAI.SnakyCertificate.entry_472 line 139

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

68. def OAI.SnakyCertificate.entry_473 line 141

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

69. def OAI.SnakyCertificate.entry_474 line 143

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

70. def OAI.SnakyCertificate.entry_475 line 145

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

71. def OAI.SnakyCertificate.entry_476 line 147

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

72. def OAI.SnakyCertificate.entry_477 line 149

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

73. def OAI.SnakyCertificate.entry_478 line 151

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

74. def OAI.SnakyCertificate.entry_479 line 153

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

75. def OAI.SnakyCertificate.entry_480 line 155

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

76. def OAI.SnakyCertificate.entry_481 line 157

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

77. def OAI.SnakyCertificate.entry_482 line 159

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

78. def OAI.SnakyCertificate.entry_483 line 161

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

79. def OAI.SnakyCertificate.entry_484 line 163

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

80. def OAI.SnakyCertificate.entry_485 line 165

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

81. def OAI.SnakyCertificate.entry_486 line 167

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

82. def OAI.SnakyCertificate.entry_487 line 169

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

83. def OAI.SnakyCertificate.entry_488 line 171

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

84. def OAI.SnakyCertificate.entry_489 line 173

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

85. def OAI.SnakyCertificate.entry_490 line 175

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

86. def OAI.SnakyCertificate.entry_491 line 177

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

87. def OAI.SnakyCertificate.entry_492 line 179

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

88. def OAI.SnakyCertificate.entry_493 line 181

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

89. def OAI.SnakyCertificate.entry_494 line 183

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

90. def OAI.SnakyCertificate.entry_495 line 185

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

91. def OAI.SnakyCertificate.entry_496 line 187

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

92. def OAI.SnakyCertificate.entry_497 line 189

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

93. def OAI.SnakyCertificate.entry_498 line 191

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

94. def OAI.SnakyCertificate.entry_499 line 193

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

95. def OAI.SnakyCertificate.entry_500 line 195

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

96. def OAI.SnakyCertificate.entry_501 line 197

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

97. def OAI.SnakyCertificate.entry_502 line 199

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

98. def OAI.SnakyCertificate.entry_503 line 201

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

99. def OAI.SnakyCertificate.entry_504 line 203

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

100. def OAI.SnakyCertificate.entry_505 line 205

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