Theorem SimplexCategory.eq_of_isIso

Modification history