- 博客(3)
- 收藏
- 关注
原创 类型(Type)是可构建集合(constructive set)
在给定类型(Type)中的每个元素(element)都是可构建(constructive)的。
2024-08-14 12:12:35
62
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
在给定类型(Type)中的每个元素(element)都是可构建(constructive)的。
2024-08-14 12:12:35
62
TA创建的收藏夹 TA关注的收藏夹
TA关注的人