OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros29.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero1856 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero1859 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero1862 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero1865 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero1866 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1869 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero1872 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero1890 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero1895 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero1908 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero1911 line 71
12. theorem OAI.MUB6.Certificate.MixedSemantics.zero1912 line 77
13. theorem OAI.MUB6.Certificate.MixedSemantics.zero1914 line 83
14. theorem OAI.MUB6.Certificate.MixedSemantics.zero1918 line 89