Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic | Publicación