`OAI/Analysis/MutuallyUnbiased/Tao/`

72 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

Tao.lean 15 declarations
TaoArithmetic.lean 15 declarations
TaoCompleteFamily.lean 3 declarations
TaoFamily.lean 13 declarations
TaoSparse.lean 16 declarations
TaoSymmetry.lean 4 declarations
TaoTarget.lean 6 declarations