OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros76.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4893 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4894 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4895 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4897 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4901 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4911 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero4915 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero4916 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero4918 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero4921 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero4924 line 71