NobleBlocks
    Bakry–Émery curvature-dimension condition and Riemannian Ricci curvature bounds | NobleBlocks