From dd01e956d2a3d05597113a7c454ac4cb09e3ec19 Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Tue, 18 Sep 2018 23:59:12 -0400
Subject: A proof that univalence implies function extensionality

---
 univalence-to-funext.pdf | Bin 0 -> 87164 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 univalence-to-funext.pdf

(limited to 'univalence-to-funext.pdf')

diff --git a/univalence-to-funext.pdf b/univalence-to-funext.pdf
new file mode 100644
index 0000000..3d078ca
Binary files /dev/null and b/univalence-to-funext.pdf differ
-- 
cgit v1.2.3