Theorem SimplexCategory.δ_comp_δ''

Modification history