OAI/Geometry/CubicTorus/Compactness/
122 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- BVLocalTranslation.lean 43 declarations
- BVWeyl.lean 41 declarations
- GraphMollifier.lean 38 declarations