A Formal Proof of the Computation of Hermite Normal Form in a General Setting | Publicación