Theorem SimplexCategory.eq_of_one_to_one

Modification history