Formalization of a normalization theorem in simplicial topology | Publicación