OAI/Computability/MinUncut/Analysis/UniformCube.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Preprocess.UEncoding.equationEquiv line 12
2. def OAI.MinUncut.Preprocess.UEncoding.equation line 18
3. lemma OAI.MinUncut.Preprocess.UEncoding.map_equation line 21
4. lemma OAI.MinUncut.Preprocess.UEncoding.map_thirdQuery line 28
5. lemma OAI.MinUncut.Preprocess.UEncoding.map_padded line 38
6. lemma OAI.MinUncut.Preprocess.UEncoding.map_value_zero line 45