diff options
| author | Josh Chen | 2020-05-30 18:29:46 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-30 18:29:46 +0200 |
| commit | 126312747d3005f8fd0611613b26db532a77f3c5 (patch) | |
| tree | 84a5c6e2d1536c472b2573353a42494a3e6c4313 /hott/Identity.thy | |
| parent | 68bbcdcca00ae85dcaeae3ba7858dff1aa4802a6 (diff) | |
add and mul recurse on second argument instead of first
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions