Theorem SimplexCategory.eq_const_of_zero

Modification history