Theorem SimplexCategory.σ_injective

Modification history