//! Mathematical certificates from which Diffable's concrete geometry is built.
//!
//! The flat namespace contains the foundational algebra, tensor, chart, and
//! metric traits most generic code uses. Higher differentiation lives in
//! [`calculus`], global finite-cover topology in [`simplicial`], and the
//! feature-gated property-test suites in `testing`.
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;