OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros48.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero3076 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero3080 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero3085 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero3104 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero3111 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero3112 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero3114 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero3122 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero3123 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero3124 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero3126 line 71