OAI/RepresentationTheory/UniversalSquare/Support/
496 declarations, 0 contain sorry, 0 declared as axioms; 44 files
Files
- Asymptotic.lean 7 declarations
- AttachmentTransfer.lean 15 declarations
- Candidate.lean 22 declarations
- CandidateClearance.lean 11 declarations
- CandidateCut.lean 27 declarations
- CandidateRotation.lean 14 declarations
- CandidateShuffle.lean 11 declarations
- CandidateSupport.lean 14 declarations
- CheckedUnionSymmetry.lean 1 declarations
- CoindProduct.lean 7 declarations
- CommonBasis.lean 7 declarations
- ConstrainedDiagrams.lean 6 declarations
- ConstrainedRows.lean 20 declarations
- CoordinateLine.lean 10 declarations
- CountedGluing.lean 9 declarations
- DualTransfer.lean 6 declarations
- ExceptionalFourteen.lean 70 declarations
- Extensions.lean 12 declarations
- FastRowCheck.lean 5 declarations
- FiniteDiagrams.lean 7 declarations
- FiniteRowSquares.lean 1 declarations
- KroneckerSemigroup.lean 4 declarations
- Neighboring.lean 22 declarations
- NumericalSupport.lean 13 declarations
- PairRun.lean 14 declarations
- PairSwap.lean 11 declarations
- PartWords.lean 6 declarations
- ProductInduction.lean 6 declarations
- ProjectedTensor.lean 10 declarations
- ResidualTrees.lean 8 declarations
- RowChecker.lean 7 declarations
- RowSquareTools.lean 13 declarations
- SignedInduction.lean 6 declarations
- SingletonPairs.lean 13 declarations
- SmallDegrees.lean 1 declarations
- SplitUnionRowChecker.lean 1 declarations
- SquareSemigroup.lean 13 declarations
- SubdiagramSupport.lean 11 declarations
- SupportTransport.lean 22 declarations
- SymmetricRegions.lean 2 declarations
- TransposeSupport.lean 8 declarations
- UnionRowChecker.lean 5 declarations
- WordContents.lean 8 declarations
- WordRelabel.lean 10 declarations