Theorem SimplexCategory.eq_const_to_zero

Modification history