If a convex polytope is in a Cartesian product form as
$P = \prod_{k=1}^{K}P_k$, then the vertices of $P$, $V$ are obtained by composing all the
possible combinations, i.e., $V = (V_1,\ldots,V_K)$, where $V_k$ are the vertices of $P_k$.
I believe this is true and can prove it for a polytope with a special structure. Can someone refer me to some textbooks or papers stating the above as a theorem or a lemma? (I searched, but did not find something useful) thx a lot!
