Theorem SimplexCategory.mkOfSucc_δ_eq

Modification history