Transverse intersection theorem (source code)

= Transverse intersection theorem
{wiki=Transversality_(mathematics)}

If embedded submanifolds $A,B\subseteq M$ meet transversely, then $A\cap B$ is an embedded submanifold of dimension $\dim A+\dim B-\dim M$.