Theorem SimplexCategory.isIso_iff_of_mono

Modification history