OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros67.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4300 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4302 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4305 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4306 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4308 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4311 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero4312 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero4317 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero4318 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero4326 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero4329 line 71
12. theorem OAI.MUB6.Certificate.MixedSemantics.zero4340 line 77
13. theorem OAI.MUB6.Certificate.MixedSemantics.zero4342 line 83