OAI/Computability/MinUncut/Estimates/UniformAlgebra.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MinUncut.Preprocess.c_rangeSum line 14
2. lemma OAI.MinUncut.Preprocess.UEncoding.Out.toFixed line 31
3. lemma OAI.MinUncut.Preprocess.UEncoding.out_sum line 37
4. instance OAI.MinUncut.Preprocess.UEncoding.primcodableF₂ line 66
5. abbrev OAI.MinUncut.Preprocess.UEncoding.field line 69
6. lemma OAI.MinUncut.Preprocess.UEncoding.out_field line 71
7. lemma OAI.MinUncut.Preprocess.UEncoding.map_field_add line 73
8. lemma OAI.MinUncut.Preprocess.UEncoding.map_field_mul line 77
9. lemma OAI.MinUncut.Preprocess.UEncoding.map_field_sum line 81