diff options
| author | Josh Chen | 2018-08-18 00:06:20 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-18 00:06:20 +0200 |
| commit | 29e9582b167c74b8e367e3226f63e12a25255b72 (patch) | |
| tree | 6a0518e3fc01ea9aad502d96332707ef490a1151 /ex/HoTT book | |
| parent | 9a0415ede2338b55ca9f4740e2a047c82e845443 (diff) | |
Fixed mistake in Equal_elim and proof of rpathcomp_comp
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions