OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros45.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero2894 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero2897 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero2914 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero2917 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero2927 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero2934 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero2940 line 47