Theorem SimplexCategory.mkOfSucc_δ_gt

Modification history