文件:Types-logic-sets-homotopy.png

本预览的大小：800×456像素。

完全分辨率‎ （854×487像素，文件大小：64 KB，MIME类型：image/png）

文件历史

查看某一时刻的文件，请单击相应的日期/时间。

	日期/时间	缩略图	大小	用户	评论
当前	2022年10月19日 (三) 05:01		854 × 487 (64 KB)	Allen (讨论 \| 贡献)	https://github.com/HoTT/book p.15 category:formal category:mathematics category:mathematical logic category:reasoning

以下的1个页面链接到本文件：