Theorem SimplexCategory.δ_comp_σ_of_gt

Modification history