OAI/AlgebraicGeometry/CharacterVarieties/Seams/
284 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- AllSeams.lean 25 declarations
- BoundaryWords.lean 32 declarations
- CutWords.lean 24 declarations
- FirstShortSeam.lean 15 declarations
- Handles.lean 19 declarations
- InternalSeams.lean 85 declarations
- InverseSolution.lean 33 declarations
- MarkedSeams.lean 8 declarations
- MarkedSurface.lean 19 declarations
- PortEquations.lean 1 declarations
- ProducedDiagram.lean 16 declarations
- ProducedEquations.lean 2 declarations
- ProducedSolution.lean 5 declarations