Theorem SimplexCategory.eq_of_one_to_two

Modification history