OAI/Computability/MinUncut/Estimates/UniformSets.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Preprocess.maskEquiv line 13
2. def OAI.MinUncut.Preprocess.setEncoding line 18
3. def OAI.MinUncut.Preprocess.rawSet line 20
4. lemma OAI.MinUncut.Preprocess.rawSet_code line 22
5. lemma OAI.MinUncut.Preprocess.rawSet_maskCode line 28
6. def OAI.MinUncut.Preprocess.sets line 33
7. lemma OAI.MinUncut.Preprocess.map_hidden line 36
8. lemma OAI.MinUncut.Preprocess.out_setCard line 39
9. lemma OAI.MinUncut.Preprocess.c_rawHidden line 50