OAI/Combinatorics/SnakyCertificate/Entries06.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SnakyCertificate.entry_606 line 7

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

2. def OAI.SnakyCertificate.entry_607 line 9

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

3. def OAI.SnakyCertificate.entry_608 line 11

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

4. def OAI.SnakyCertificate.entry_609 line 13

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

5. def OAI.SnakyCertificate.entry_610 line 15

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

6. def OAI.SnakyCertificate.entry_611 line 17

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

7. def OAI.SnakyCertificate.entry_612 line 19

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

8. def OAI.SnakyCertificate.entry_613 line 21

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

9. def OAI.SnakyCertificate.entry_614 line 23

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

10. def OAI.SnakyCertificate.entry_615 line 25

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