OAI/Computability/MinUncut/Encoding/DerivedResolver.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MinUncut.Preprocess.encode_ofLeftInjection_canonical line 9
2. abbrev OAI.MinUncut.Preprocess.oldGridEncode line 20
3. abbrev OAI.MinUncut.Preprocess.oldGridDecode line 21
4. lemma OAI.MinUncut.Preprocess.oldGridEncode_eq line 23
5. lemma OAI.MinUncut.Preprocess.oldGridDecode_canonical line 26