Theorem SSet.stdSimplex.ofSimplex_yonedaEquiv_δ

Modification history