Theorem SSet.stdSimplex.spineId_arrow_apply_one

Modification history