OAI/Geometry/SurfaceImmersion/
6911 declarations, 0 contain sorry, 0 declared as axioms; 2050 files
Folders
- Atlas/ 368 files, 1216 declarations
- Correction/ 489 files, 1850 declarations
- Geometry/ 537 files, 1738 declarations
- Primitive/ 354 files, 1338 declarations
- Whitney/ 300 files, 768 declarations