Abstract Simplicial Complexes
Karol Pąk · Formalized Mathematics · 2010
Abstract Simplicial Complexes In this article we define the notion of abstract simplicial complexes and operations on them. We introduce the following basic notions: simplex, face, vertex, degree, skeleton, subdivision and substructure, and prove some of their properties.