Theorem SimplexCategory.exists_eq_const_of_zero

Modification history