diff options
| author | Josh Chen | 2020-05-31 01:13:34 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-31 01:13:34 +0200 |
| commit | 4faad4fcb1359aa7835c89a3af759afa2917ffd4 (patch) | |
| tree | bf1f00d34ee01118884324507ed3f4b04ac44017 /hott/Nat.thy | |
| parent | 126312747d3005f8fd0611613b26db532a77f3c5 (diff) | |
transport method
Diffstat (limited to 'hott/Nat.thy')
0 files changed, 0 insertions, 0 deletions