Theorem SSet.stdSimplex.coe_edge_down_toOrderHom

Modification history