OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros53.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero3403 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero3405 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero3409 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero3424 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero3435 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero3439 line 41