OAI/Analysis/MutuallyUnbiased/Certificate/
125 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- Algebra.lean 25 declarations
- AuxiliaryInterpretation.lean 4 declarations
- Canonical.lean 3 declarations
- CompareMerge.lean 13 declarations
- Comparison.lean 2 declarations
- ExponentCode.lean 2 declarations
- Gram.lean 7 declarations
- GramNonnegative.lean 14 declarations
- GramPolynomial.lean 7 declarations
- Integer.lean 17 declarations
- IntegerMerge.lean 8 declarations
- Interpretation.lean 8 declarations
- MixedResidual.lean 8 declarations
- MixedTargetBasic.lean 7 declarations