`OAI/AlgebraicGeometry/CharacterVarieties/`

2870 declarations, 0 contain sorry, 0 declared as axioms; 90 files

Folders

Cutting/ 14 files, 832 declarations
Foundation/ 35 files, 1329 declarations
Frames/ 28 files, 425 declarations
Seams/ 13 files, 284 declarations