Theorem SSet.stdSimplex.yonedaEquiv_map

Modification history