Theorem SimplexCategory.Hom.ext_zero_left

Modification history