Theorem SSet.stdSimplex.const_down_toOrderHom

Modification history