OAI/Computability/MinUncut/Estimates/UniformBoolean.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Preprocess.UEncoding.fixed line 12
2. def OAI.MinUncut.Preprocess.UEncoding.bool line 14
3. def OAI.MinUncut.Preprocess.UEncoding.fin line 15
4. lemma OAI.MinUncut.Preprocess.UEncoding.map_const line 18
5. lemma OAI.MinUncut.Preprocess.UEncoding.bool_code line 23
6. lemma OAI.MinUncut.Preprocess.UEncoding.map_bool_eq line 26
7. lemma OAI.MinUncut.Preprocess.UEncoding.map_cond line 43
8. lemma OAI.MinUncut.Preprocess.UEncoding.map_fixed line 59
9. lemma OAI.MinUncut.Preprocess.UEncoding.map_fixed_apply line 70
10. lemma OAI.MinUncut.Preprocess.UEncoding.map_binary line 75
11. lemma OAI.MinUncut.Preprocess.UEncoding.map_not line 82
12. lemma OAI.MinUncut.Preprocess.UEncoding.map_and line 85
13. lemma OAI.MinUncut.Preprocess.UEncoding.map_or line 88