OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros8.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero512 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero515 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero518 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero524 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero525 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero529 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero532 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero534 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero558 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero561 line 65