OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros27.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero1730 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero1753 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero1754 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero1755 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero1758 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1770 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero1772 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero1775 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero1777 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero1780 line 65