Wiki. 归纳类型 (同伦类型论) [归纳类型]

观念

归纳类型是数学归纳法的推广.