Theorem SSet.stdSimplex.id_eq_objEquiv_symm

Modification history