diff options
| author | Josh Chen | 2018-08-17 19:14:29 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-17 19:14:29 +0200 |
| commit | 64b78dafb6732d479c55ba7575e81c060c76d00a (patch) | |
| tree | a37a44161dee9a4fed2fee2943453af7fbc3be74 /ex/HoTT book | |
| parent | 35c98ff89296f963030a7f2f71aa3a908f541b01 (diff) | |
Fix silly mistakes in Coprod.thy
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions