I have included a rather thorough treatment of the equivalence of V-polytopes and H-polytopes and also of the equivalence of V-polyhedra and H-polyhedra, which is a bit harder.
The Fourier-Motzkin elimination method (a version of Gaussian elimination for inequalities) is discussed in some detail.