OAI/Combinatorics/MatrixRemoval/Model.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem348.BinaryMatrix line 11

   Also declared: ComparatorChallenges/MatrixRemoval.lean:9 (same declaration text).

2. abbrev OAI.Problem348.IncreasingMap line 13

   Also declared: ComparatorChallenges/MatrixRemoval.lean:11 (same declaration text).

3. def OAI.Problem348.orderedCopies line 15

   Also declared: ComparatorChallenges/MatrixRemoval.lean:13 (same declaration text).

4. def OAI.Problem348.copyCount line 21

   Also declared: ComparatorChallenges/MatrixRemoval.lean:19 (same declaration text).

5. def OAI.Problem348.HFree line 24

   Also declared: ComparatorChallenges/MatrixRemoval.lean:22 (same declaration text).

6. def OAI.Problem348.hammingDistance line 27

   Also declared: ComparatorChallenges/MatrixRemoval.lean:25 (same declaration text).

7. def OAI.Problem348.etaBit line 32

   Also declared: ComparatorChallenges/MatrixRemoval.lean:30 (same declaration text).

8. def OAI.Problem348.anchor64 line 35

   Also declared: ComparatorChallenges/MatrixRemoval.lean:33 (same declaration text).

9. def OAI.Problem348.fixedH line 41

   Also declared: ComparatorChallenges/MatrixRemoval.lean:39 (same declaration text).

10. def OAI.Problem348.fixedMinEdits line 55

    Also declared: ComparatorChallenges/MatrixRemoval.lean:53 (same declaration text).

11. def OAI.Problem348.fixedDistance line 62

    Also declared: ComparatorChallenges/MatrixRemoval.lean:60 (same declaration text).