OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros46.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero2953 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero2993 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero2999 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero3000 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero3001 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero3002 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero3004 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero3006 line 53