HomeTroughMathlibMathlib overviewGeometryContentsStatementsMapContentsLoading the map…Reading Geometry Affine and Euclidean geometry Differentiable manifolds Smooth vector and fiber bundles Riemannian manifolds Algebraic geometry Convex geometry Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.