Prefer a chat interface with context about you and your work?
Logarithmically Exact Differential Forms
manifold.Thus a cartesian factor of a homotopy manifold is not necessarily a homotopy manifold.