OAI/Algebra/DepthFive/Basic.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. inductive OAI.Problem335.D5Leaf line 12

   Also declared: ComparatorChallenges/DepthFive.lean:12 (same declaration text).

2. def OAI.Problem335.d5LeafDegree line 16

   Also declared: ComparatorChallenges/DepthFive.lean:16 (same declaration text).

3. structure OAI.Problem335.Depth5Circuit line 20

   Also declared: ComparatorChallenges/DepthFive.lean:20 (same declaration text).

4. def OAI.Problem335.d5LeafValue line 50

   Also declared: ComparatorChallenges/DepthFive.lean:50 (same declaration text).

5. def OAI.Problem335.bottomValue line 56

   Also declared: ComparatorChallenges/DepthFive.lean:56 (same declaration text).

6. def OAI.Problem335.lowerValue line 63

   Also declared: ComparatorChallenges/DepthFive.lean:63 (same declaration text).

7. def OAI.Problem335.middleValue line 69

   Also declared: ComparatorChallenges/DepthFive.lean:69 (same declaration text).

8. def OAI.Problem335.upperValue line 76

   Also declared: ComparatorChallenges/DepthFive.lean:76 (same declaration text).

9. def OAI.Problem335.circuitValue line 82

   Also declared: ComparatorChallenges/DepthFive.lean:82 (same declaration text).

10. def OAI.Problem335.circuitSize line 88

    Also declared: ComparatorChallenges/DepthFive.lean:88 (same declaration text).

11. def OAI.Problem335.immLayer line 92

    Also declared: ComparatorChallenges/DepthFive.lean:92 (same declaration text).

12. def OAI.Problem335.imm line 96

    Also declared: ComparatorChallenges/DepthFive.lean:96 (same declaration text).

13. def OAI.Problem335.ceilSqrt line 107

    Also declared: ComparatorChallenges/DepthFive.lean:107 (same declaration text).

14. def OAI.Problem335.ceilDiv line 110

    Also declared: ComparatorChallenges/DepthFive.lean:110 (same declaration text).

15. def OAI.Problem335.upperGateBound line 113

    Also declared: ComparatorChallenges/DepthFive.lean:113 (same declaration text).