首页
标签
injective-function
如何在 Agda 中定义观察平等
在 Python 中的某些约束下生成集合的最大子集
我可以介绍合理的构造函数等价性吗？
如何检查 Java 中的 hashmap 是否单射 (OneOnOne)？
非单射闭式族
如何帮助 GHC 推断出 `Arrows (Domains func) (CoDomain func) ~ func`
内射双向映射
索引子集中的类型族和单射性
Idris 中依赖类型函数自动检测域
PK 候选函数必须是单射、满射或双射函数？
我们如何知道所有 Coq 构造函数都是单射且不相交的？