Theorem SimplexCategory.toTopObj_one_coe_add_coe_eq_one

Modification history