🧊 An indexed construction of semi-simplicial and semi-cubical types
Primary LanguageTeXMIT LicenseMIT