OAI/Analysis/MutuallyUnbiased/Bases/
75 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- Basic.lean 1 declarations
- CompleteFamily.lean 7 declarations
- CompleteVanishing.lean 1 declarations
- Families.lean 7 declarations
- SmallMatrices.lean 38 declarations
- Tensor.lean 12 declarations
- ThreeBases.lean 1 declarations
- ThreeMain.lean 1 declarations
- Transitions.lean 7 declarations