The Log-Sobolev Inequality for a Submanifold in Manifolds With Asymptotic Non-Negative Intermediate Ricci Curvature | Synapse