The classical PL Reidemeister Theorem reads:

Reidemeister Theorem: Two knots in $S^3$ are PL ambient isotopic if and only if any diagram of one can be transformed into a diagram of the other by Reidemeister moves.

Recall that PL ambient isotopy of $K_1\colon\, S^1\hookrightarrow S^3$ to $K_2\colon\, S^1\hookrightarrow S^3$ is an orientation-preserving PL map from $S^{3}\times I$ to $S^3$, whose restriction to a map from $S^{3}\times \{t\}$ to $S^3$ is a PL homeomorphism for every $t\in I$, whose restriction to $S^{3}\times \{0\}$ is the identity map, and whose restriction to $S^{3}\times \{1\}$ composed with $K_1$ is $K_2$.

However, every source that I know (see here) proves an a-priori weaker version of the theorem, in which "PL ambient isotopy" is replaced by "combinatorial isotopy" which means: "related by a finite sequence of triangle moves"- replacing 2 (or 1) edges of a triangle which does not intersect the knot in its interior with the other edge (edges). See *e.g.* these notes by J. Roberts. Indeed, this is the version of the Reidemeister Theorem which Reidemeister himself proved.

I think that the seldom-cited but often-used fact that *PL ambient isotopy coincides with combinatorial isotopy of knots in $S^3$* is proved (in the more general case of links, which extends also to knotted graphs as pointed out by Kauffman) in:

Graeub, W. (1950). Die semilinearen abbildungen (pp. 3-70). Springer Berlin Heidelberg.

Question 1: Does there exist a proof of this fact in English? I have trouble with the German.

Question 2: Is there a combinatorial version of PL ambient isotopy in higher dimensions? Specifically, I am interested in the case of a mixed 1- and 2-dimensional polyhedron embedded in a PL 4-ball, so that the only non-manifold points are at endpoints of broken lines, where they meet other broken lines or broken planes. The obvious candidate is triangle moves, analogous "tetrahedron moves", and a "mixed dimension move" to move a neighbourhood of the intersection of a line with a plane, which is a bit harder to write down. Is the proof of this to be found anywhere, and is the general version known and shown? (I'm fairly confident it's not in Graeub's book, but perhaps it follows trivially somehow).