OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros24.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero1557 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero1560 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero1571 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero1572 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero1574 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1576 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero1579 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero1592 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero1595 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero1596 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero1598 line 71