OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros78.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4994 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4995 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4997 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero5012 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero5017 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero5024 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero5025 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero5026 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero5029 line 59