OAI/Analysis/Quantum/DimensionTen/ModularPermutations.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.DimensionTen.full_symmetric_of_nineteen_cycle line 14
2. lemma OAI.DimensionTen.root_of_product line 57
3. lemma OAI.DimensionTen.eval_mod131_f line 65
4. lemma OAI.DimensionTen.eval_mod131_g line 69
5. lemma OAI.DimensionTen.fixed_mod131 line 73
6. lemma OAI.DimensionTen.eval_mod139_f line 88
7. lemma OAI.DimensionTen.eval_mod139_g line 92
8. lemma OAI.DimensionTen.fixed_mod139 line 96
9. lemma OAI.DimensionTen.pow_mod139 line 111