Formalization of a normalization theorem in simplicial topology
scientific article; zbMATH DE number 6119067
scientific article