Theorem SimplexCategory.toTopObj_zero_apply_zero

Modification history