diff options
| author | Josh Chen | 2018-08-19 17:28:48 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-19 17:28:48 +0200 |
| commit | 746fab6476dc622a982d5ebaeb30a2e1426c3316 (patch) | |
| tree | 47699d8ef3fc37d604ad334a7c93f2a5c262a6b4 /Prod.thy | |
| parent | 1ff1905f052de51a942282af1f9950c7ec71c20c (diff) | |
Higher groupoid structure of types
Diffstat (limited to 'Prod.thy')
0 files changed, 0 insertions, 0 deletions