Theorem SimplexCategory.δ_injective

Modification history