OAI/AlgebraicGeometry/CharacterVarieties/Frames/
425 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- AtomicFlags.lean 1 declarations
- BandBases.lean 22 declarations
- BandGauges.lean 26 declarations
- BoundaryMarking.lean 5 declarations
- Coordinates.lean 4 imports, no declarations
- CutFrames.lean 14 declarations
- Endpoints.lean 32 declarations
- FrameTransport.lean 7 declarations
- FramedFlags.lean 45 declarations
- GradeMaps.lean 17 declarations
- Graded.lean 21 declarations
- InheritedFrames.lean 10 declarations
- InheritedSeams.lean 10 declarations
- LocalFrames.lean 3 declarations
- MarkedFrames.lean 4 declarations
- Mirror.lean 19 declarations
- MirrorCoordinates.lean 20 declarations
- MirrorSeamCoordinates.lean 23 declarations
- MirrorSeams.lean 12 declarations
- NamedSeams.lean 8 declarations
- PortCoordinates.lean 28 declarations
- PortValues.lean 6 declarations
- PositiveCoordinates.lean 29 declarations
- SeamCoordinates.lean 11 declarations
- SeamFactors.lean 3 declarations
- SeamValues.lean 1 declarations
- ShortCoordinates.lean 48 declarations
- ShortSeams.lean 2 imports, no declarations