Wiki. “高阶归纳类型” [高阶归纳类型]

#同伦类型论

例

单点 (同伦类型论)