Theorem SSet.stdSimplex.coe_triangle_down_toOrderHom

Modification history