OAI/Algebra/Determinantal/Transcendence.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PermanentBorder.SliceParameters.aeval_mem_field line 11
2. lemma OAI.PermanentBorder.SliceParameters.pivot_mem line 20
3. theorem OAI.PermanentBorder.SliceParameters.normalized_avoidance line 38
4. theorem OAI.PermanentBorder.ParameterBounds.trdeg_lt_of_relation line 87
5. theorem OAI.PermanentBorder.ParameterBounds.trdeg_le_of_generators line 98
6. theorem OAI.PermanentBorder.ParameterBounds.adjoin_trdeg_lt_of_relation line 108
7. theorem OAI.PermanentBorder.ParameterBounds.field_adjoin_trdeg_lt_of_relation line 129
8. theorem OAI.PermanentBorder.SliceParameters.normalized_tangency_impossible line 145
9. theorem OAI.PermanentBorder.SliceParameters.generic_normalized_slice line 202
10. theorem OAI.PermanentBorder.SliceParameters.generic_homogeneous_slice line 231
11. def OAI.PermanentBorder.SliceParameters.sectionForm line 268
12. def OAI.PermanentBorder.SliceParameters.linearSection line 271
13. lemma OAI.PermanentBorder.SliceParameters.sectionForm_homogeneous line 274
14. lemma OAI.PermanentBorder.SliceParameters.linearSection_homogeneous line 280
15. lemma OAI.PermanentBorder.SliceParameters.eval_sectionForm line 284
16. lemma OAI.PermanentBorder.SliceParameters.eval_linearSection line 288
17. lemma OAI.PermanentBorder.SliceParameters.pderiv_sectionForm line 299
18. lemma OAI.PermanentBorder.SliceParameters.linearSection_X line 304
19. lemma OAI.PermanentBorder.SliceParameters.linearSection_C line 307
20. lemma OAI.PermanentBorder.SliceParameters.pderiv_linearSection line 312
21. def OAI.PermanentBorder.SliceParameters.singularSystem line 333
22. def OAI.PermanentBorder.SliceParameters.singularDegrees line 338
23. lemma OAI.PermanentBorder.SliceParameters.singularSystem_homogeneous line 343
24. theorem OAI.PermanentBorder.SliceParameters.generic_slice_certificate line 351
25. lemma OAI.PermanentBorder.SliceParameters.linearSection_map line 386