Theorem SSet.stdSimplex.objEquiv_toOrderHom_apply

Modification history