Incidence Simplicial Matrices Formalized in Coq/SSReflect | Publicación