OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros11.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero712 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero714 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero717 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero718 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero722 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero723 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero728 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero766 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero767 line 59