]>
author | Alexis Williams <alexis@typedr.at> | |
Tue, 19 Feb 2019 18:15:53 +0000 (10:15 -0800) | ||
committer | GitHub <noreply@github.com> | |
Tue, 19 Feb 2019 18:15:53 +0000 (10:15 -0800) | ||
commit | 261dc4951b3d05df07cc7832b38bf703eb483528 | |
tree | 6f570fb0b328ee3cbb2ca6f2e4a2535071d6931d | tree | snapshot |
parent | 8bc94481ea02cac186b78c2a4b12b3a10231a160 | commit | diff |
HoTT/Nishikino_Maki_reads_HoTT.png | [new file with mode: 0644] | blob |