OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros39.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero2510 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero2511 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero2514 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero2517 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero2523 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero2540 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero2542 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero2546 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero2552 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero2554 line 65