OAI/Analysis/Quantum/DimensionTen/GaloisCertificate.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DimensionTen.reduction_eq_131 line 11
2. lemma OAI.DimensionTen.reduction_eq_139 line 24
3. lemma OAI.DimensionTen.irr_rational_of_mod41 line 37
4. lemma OAI.DimensionTen.roots_card_int line 45
5. lemma OAI.DimensionTen.exists_swap_of_mod131 line 60
6. lemma OAI.DimensionTen.exists_nineteen_cycle_of_mod139 line 87
7. lemma OAI.DimensionTen.root_minpoly line 116
8. lemma OAI.DimensionTen.root_action_pretransitive line 126
9. lemma OAI.DimensionTen.root_action_full_symmetric line 136