OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros74.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4736 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4738 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4739 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4741 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4745 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4752 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero4753 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero4786 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero4790 line 59