Automatically editing C-set homomorphisms

未关闭

#20 创建于 2021年7月5日 1 条评论 1 个 reaction 已指派 0 人在 GitHub 查看

enhancement

描述

We should be able to edit C-set homomorphisms, by making a C-set schema for them, and then using #17 to draw the actual homomorphism.

这个仓库没有索引到贡献指南

这个 Issue 还没有评估数据。