OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros65.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4209 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4211 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4214 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4215 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4216 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4218 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero4221 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero4222 line 53