diff options
| author | Josh Chen | 2018-08-18 00:19:42 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-18 00:19:42 +0200 |
| commit | b4a87cc14acaea8a06ee38032c7f4cd94477ca97 (patch) | |
| tree | 354a5bdff5d94d9f0d2ed02e75f607450e8b8dc7 /ex/HoTT book | |
| parent | 29e9582b167c74b8e367e3226f63e12a25255b72 (diff) | |
Update test file
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions