Theorem SimplexCategory.Truncated.Hom.tr_comp

Modification history