OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros66.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4227 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4228 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4263 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4264 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4266 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4267 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero4269 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero4273 line 53
9. theorem OAI.MUB6.Certificate.MixedSemantics.zero4274 line 59
10. theorem OAI.MUB6.Certificate.MixedSemantics.zero4283 line 65
11. theorem OAI.MUB6.Certificate.MixedSemantics.zero4284 line 71