OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros82.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero5250 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero5256 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero5273 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero5274 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero5283 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero5307 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero5308 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero5309 line 53