`OAI/Analysis/MutuallyUnbiased/Matrix/`

44 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

Definitions.lean 12 declarations
Equivalence.lean 11 declarations
Hadamard.lean 9 declarations
OffDiagonal.lean 7 declarations
Square.lean 5 declarations