OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros42.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero2689 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero2691 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero2693 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero2695 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero2701 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero2709 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero2720 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero2741 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero2742 line 59