OAI/Computability/MinUncut/Search/UniformFind.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Preprocess.UEncoding.optionEquiv line 13
2. def OAI.MinUncut.Preprocess.UEncoding.option line 19
3. lemma OAI.MinUncut.Preprocess.UEncoding.option_code_some line 21
4. lemma OAI.MinUncut.Preprocess.UEncoding.option_code_none line 23
5. lemma OAI.MinUncut.Preprocess.UEncoding.enumeration_codes line 28
6. lemma OAI.MinUncut.Preprocess.UEncoding.map_find line 34
7. lemma OAI.MinUncut.Preprocess.UEncoding.map_find_apply line 68
8. lemma OAI.MinUncut.Preprocess.UEncoding.map_option_elim line 72