OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros54.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero3469 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero3470 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero3483 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero3484 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero3485 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero3489 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero3492 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero3494 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero3513 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero3515 line 65