OAI/Combinatorics/SnakyCertificate/Rows.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SnakyCertificate.RowData line 7

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

2. def OAI.SnakyCertificate.emptyRow line 13

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

3. def OAI.SnakyCertificate.baseRow line 15

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

4. def OAI.SnakyCertificate.placeRow line 17

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

5. def OAI.SnakyCertificate.unionA line 21

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

6. def OAI.SnakyCertificate.unionH line 23

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

7. def OAI.SnakyCertificate.commonH line 25

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

8. def OAI.SnakyCertificate.forkRow line 30

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

9. def OAI.SnakyCertificate.rowAt line 34

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

10. def OAI.SnakyCertificate.Output line 40

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

11. def OAI.SnakyCertificate.AllRows line 44

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