Theorem SimplexCategory.Hom.ext_one_left

Modification history