OAI/AlgebraicGeometry/CharacterVarieties/Cutting/
832 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- AtomicFrames.lean 29 declarations
- AtomicGallery.lean 57 declarations
- BoundaryEnumeration.lean 38 declarations
- BoundarySurgery.lean 59 declarations
- DoubledStrips.lean 43 declarations
- FreshGallery.lean 70 declarations
- GraftCircuits.lean 84 declarations
- GraftValues.lean 31 declarations
- Grafting.lean 140 declarations
- MarkedDiagram.lean 12 declarations
- PortSurgery.lean 66 declarations
- RefinedDiagram.lean 67 declarations
- StripFacets.lean 78 declarations
- StripForest.lean 58 declarations