Theorem SimplexCategory.len_eq_of_isIso

Modification history