Skip to content

Commit b14923c

Browse files
tvignontvignon
committed
Type formers on the "middle structure"
 (except naturality for path induction)
1 parent 7b8b39c commit b14923c

File tree

2 files changed

+917
-1
lines changed

2 files changed

+917
-1
lines changed

‎TypeTheory/TypeConstructions/.package/files‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
1-
CwF_SplitTypeCat_TypeEquiv.v
1+
CwF_SplitTypeCat_TypeEquiv.v
2+
SplTCwF_TypeFormers.v

0 commit comments

Comments
 (0)