OAI/RepresentationTheory/UniversalSquare/Band/
248 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- BandAllocation.lean 13 declarations
- BandAllocationLists.lean 6 declarations
- BandCriterion.lean 4 declarations
- BandExtras.lean 8 declarations
- BandFactor.lean 10 declarations
- BandGluing.lean 10 declarations
- BandGroups.lean 9 declarations
- BandLetters.lean 14 declarations
- BandPath.lean 9 declarations
- BandPositions.lean 13 declarations
- BandSeeds.lean 18 declarations
- BandSeparated.lean 7 declarations
- BandSplit.lean 11 declarations
- CommonPath.lean 3 declarations
- OddPath.lean 8 declarations
- OddStrip.lean 6 declarations
- OneExtra.lean 17 declarations
- OutputBands.lean 11 declarations
- PathGeometry.lean 15 declarations
- RunBands.lean 8 declarations
- TwoExtras.lean 11 declarations
- TwoPathGeometry.lean 27 declarations
- TwoStrip.lean 10 declarations