OAI/AlgebraicGeometry/CharacterVarieties/Foundation/
1329 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- BandCut.lean 55 declarations
- BandCutTopology.lean 24 declarations
- BandCycles.lean 18 declarations
- BandIncidence.lean 47 declarations
- BoundaryBands.lean 35 declarations
- BoundaryCycles.lean 68 declarations
- BoundaryFrames.lean 30 declarations
- BoundaryNormalization.lean 17 declarations
- BoundaryReordering.lean 13 declarations
- ComplementaryPatches.lean 83 declarations
- ContactSlices.lean 22 declarations
- CornerGauge.lean 23 declarations
- CornerHolonomy.lean 23 declarations
- CutCircleIndex.lean 9 declarations
- DiskGauge.lean 42 declarations
- ExactSequences.lean 68 declarations
- FlagGalleries.lean 56 declarations
- Flags.lean 26 declarations
- GaugeEquivalences.lean 12 declarations
- GeneratorGauge.lean 26 declarations
- Hurwitz.lean 20 declarations
- Incidence.lean 59 declarations
- IntervalTransport.lean 57 declarations
- MatrixExpressions.lean 21 declarations
- MatrixPresentation.lean 24 declarations
- PatchCycles.lean 48 declarations
- PortPatches.lean 49 declarations
- RegularStrips.lean 26 declarations
- ReorderedSolutions.lean 15 declarations
- RoutedFamilies.lean 61 declarations
- SplitFlags.lean 42 declarations
- SurfacePresentation.lean 106 declarations
- SurfaceSurgery.lean 34 declarations
- VertexFrames.lean 35 declarations
- VertexGauge.lean 35 declarations