OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros22.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero1428 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero1431 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero1432 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero1446 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero1447 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1448 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero1450 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero1452 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero1455 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero1456 line 65