OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros52.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero3328 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero3331 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero3338 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero3339 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero3351 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero3356 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero3361 line 47