OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros30.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero1943 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero1944 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero1945 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero1947 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero1950 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1953 line 41