OAI/Analysis/MutuallyUnbiased/PairTargets/
1042 declarations, 0 contain sorry, 0 declared as axioms; 69 files
Files
- Assembly.lean 152 declarations
- Data.lean 33 declarations
- ExtraCanonical0.lean 75 declarations
- ExtraCanonical1.lean 86 declarations
- ExtraCanonical2.lean 76 declarations
- ExtraCanonical3.lean 78 declarations
- ExtraCanonical4.lean 78 declarations
- ExtraCanonical5.lean 74 declarations
- ExtraCanonical6.lean 76 declarations
- ExtraCanonical7.lean 71 declarations
- ExtraCanonical8.lean 37 declarations
- ExtraPermutations.lean 68 declarations
- IntegerTerms.lean 27 declarations
- Main.lean 4 declarations
- Partition0.lean 2 declarations
- Partition1.lean 2 declarations
- Partition10.lean 2 declarations
- Partition11.lean 2 declarations
- Partition12.lean 2 declarations
- Partition13.lean 2 declarations
- Partition14.lean 2 declarations
- Partition15.lean 2 declarations
- Partition16.lean 2 declarations
- Partition17.lean 2 declarations
- Partition18.lean 2 declarations
- Partition19.lean 2 declarations
- Partition2.lean 2 declarations
- Partition20.lean 2 declarations
- Partition21.lean 2 declarations
- Partition22.lean 2 declarations
- Partition23.lean 2 declarations
- Partition24.lean 2 declarations
- Partition25.lean 2 declarations
- Partition26.lean 2 declarations
- Partition3.lean 2 declarations
- Partition4.lean 2 declarations
- Partition5.lean 2 declarations
- Partition6.lean 2 declarations
- Partition7.lean 2 declarations
- Partition8.lean 2 declarations
- Partition9.lean 2 declarations
- PartitionRules.lean 26 declarations
- Weighted0.lean 1 declarations
- Weighted1.lean 1 declarations
- Weighted10.lean 1 declarations
- Weighted11.lean 1 declarations
- Weighted12.lean 1 declarations
- Weighted13.lean 1 declarations
- Weighted14.lean 1 declarations
- Weighted15.lean 1 declarations
- Weighted16.lean 1 declarations
- Weighted17.lean 1 declarations
- Weighted18.lean 1 declarations
- Weighted19.lean 1 declarations
- Weighted2.lean 1 declarations
- Weighted20.lean 1 declarations
- Weighted21.lean 1 declarations
- Weighted22.lean 1 declarations
- Weighted23.lean 1 declarations
- Weighted24.lean 1 declarations
- Weighted25.lean 1 declarations
- Weighted26.lean 1 declarations
- Weighted3.lean 1 declarations
- Weighted4.lean 1 declarations
- Weighted5.lean 1 declarations
- Weighted6.lean 1 declarations
- Weighted7.lean 1 declarations
- Weighted8.lean 1 declarations
- Weighted9.lean 1 declarations