OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros50.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero3208 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero3212 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero3213 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero3214 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero3215 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero3216 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero3220 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero3228 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero3229 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero3230 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero3231 line 71