OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros12.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero768 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero770 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero772 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero775 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero805 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero806 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero809 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero810 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero812 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero816 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero817 line 71