OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros34.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero2204 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero2205 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero2208 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero2227 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero2228 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero2229 line 41