Theorem SimplexCategory.isIso_iff_of_epi

Modification history