OAI/Analysis/MutuallyUnbiased/Completion/
110 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- BasisFrame.lean 24 declarations
- Complement.lean 17 declarations
- ComplementAlgebra.lean 3 declarations
- Completion.lean 7 declarations
- Frame.lean 11 declarations
- JointBasis.lean 7 declarations
- Kraus.lean 6 declarations
- OrthogonalPinching.lean 8 declarations
- ProjectionBasis.lean 6 declarations
- Superoperator.lean 21 declarations