OAI/Combinatorics/SnakyCertificate/Table.lean

GitHub source file

35 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SnakyCertificate.tableChunk_0 line 13

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

2. def OAI.SnakyCertificate.tableChunk_1 line 15

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

3. def OAI.SnakyCertificate.tableChunk_2 line 17

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

4. def OAI.SnakyCertificate.tableChunk_3 line 19

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

5. def OAI.SnakyCertificate.tableChunk_4 line 21

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

6. def OAI.SnakyCertificate.tableChunk_5 line 23

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

7. def OAI.SnakyCertificate.tableChunk_6 line 25

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

8. def OAI.SnakyCertificate.tableChunk_7 line 27

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

9. def OAI.SnakyCertificate.tableChunk_8 line 29

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

10. def OAI.SnakyCertificate.tableChunk_9 line 31

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

11. def OAI.SnakyCertificate.tableChunk_10 line 33

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

12. def OAI.SnakyCertificate.tableChunk_11 line 35

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

13. def OAI.SnakyCertificate.tableChunk_12 line 37

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

14. def OAI.SnakyCertificate.tableChunk_13 line 39

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

15. def OAI.SnakyCertificate.tableChunk_14 line 41

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

16. def OAI.SnakyCertificate.tableChunk_15 line 43

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

17. def OAI.SnakyCertificate.tableChunk_16 line 45

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

18. def OAI.SnakyCertificate.tableChunk_17 line 47

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

19. def OAI.SnakyCertificate.tableChunk_18 line 49

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

20. def OAI.SnakyCertificate.tableChunk_19 line 51

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

21. def OAI.SnakyCertificate.tableChunk_20 line 53

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

22. def OAI.SnakyCertificate.tableChunk_21 line 55

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

23. def OAI.SnakyCertificate.tableChunk_22 line 57

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

24. def OAI.SnakyCertificate.tableChunk_23 line 59

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

25. def OAI.SnakyCertificate.tableChunk_24 line 61

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

26. def OAI.SnakyCertificate.tableChunk_25 line 63

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

27. def OAI.SnakyCertificate.tableChunk_26 line 65

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

28. def OAI.SnakyCertificate.tableChunk_27 line 67

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

29. def OAI.SnakyCertificate.tableChunk_28 line 69

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

30. def OAI.SnakyCertificate.tableChunk_29 line 71

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

31. def OAI.SnakyCertificate.tableChunk_30 line 73

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

32. def OAI.SnakyCertificate.table line 75

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

33. def OAI.SnakyCertificate.entryAt line 77

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

34. def OAI.SnakyCertificate.TableValid line 79

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

35. def OAI.SnakyCertificate.placementCount line 84

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