OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros15.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero971 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero974 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero976 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero978 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero996 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1003 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero1004 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero1007 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero1013 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero1020 line 65