Theorem SimplexCategory.δ_comp_δ'

Modification history