Theorem SimplexCategory.mkOfSucc_δ_lt

Modification history