文件:Homotopy-Type-Theory.png

没有更高的分辨率。

Homotopy-Type-Theory.png‎ （300×432像素，文件大小：42 KB，MIME类型：image/png）

文件历史

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

	日期/时间	缩略图	大小	用户	评论
当前	2022年10月18日 (二) 15:00		300 × 432 (42 KB)	Allen (讨论 \| 贡献)	https://en.wikipedia.org/wiki/Homotopy_type_theory category:mathematical logic category:mathematics category:formal category:reasoning

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