Theorem SimplexCategory.toTopObj_one_add_eq_one

Modification history