diff options
| author | Josh Chen | 2019-02-22 19:43:53 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-22 19:43:53 +0100 |
| commit | 0036345412d5c145b63693ed672b175018fa3791 (patch) | |
| tree | 8891c33960036c19bafe50df3cdd08518af06c14 /HoTT_Base.thy | |
| parent | f39f927579dfac2fc363d4eb9c4777c191143fb3 (diff) | |
Proof of pathcomp associativity done. Some comments
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions