OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros70.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4497 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4498 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4501 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4502 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4505 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4511 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero4512 line 47