OAI/Combinatorics/ParityLifts/BoolFold.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParityWL.Complexity.FCode.anyStep line 7
2. def OAI.ParityWL.Complexity.FCode.any line 10
3. lemma OAI.ParityWL.Complexity.bool_size line 14
4. lemma OAI.ParityWL.Complexity.BEval.anyStep line 17
5. lemma OAI.ParityWL.Complexity.BEval.foldBody line 34
6. lemma OAI.ParityWL.Complexity.BEval.anyLoop line 48
7. lemma OAI.ParityWL.Complexity.BEval.any line 77