OAI/Analysis/MutuallyUnbiased/GramAssembly/Block2.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_0 line 10
2. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_1 line 16
3. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_2 line 22
4. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_3 line 28
5. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_4 line 34
6. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_5 line 40
7. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_6 line 46
8. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_7 line 52
9. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_8 line 58
10. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_9 line 64
11. theorem OAI.MUB6.Certificate.GramAssembly.Block2.row_eval_10 line 70
12. def OAI.MUB6.Certificate.GramAssembly.Block2.rows line 76
13. theorem OAI.MUB6.Certificate.GramAssembly.Block2.rows_eval line 79
14. def OAI.MUB6.Certificate.GramAssembly.Block2.polynomial line 95
15. theorem OAI.MUB6.Certificate.GramAssembly.Block2.polynomial_eval line 97