Syllepsis

50 views
Skip to first unread message

Kristina Sojakova

unread,
Jul 28, 2021, 3:27:54 PM7/28/21
to Homotopy Type Theory
Dear all,

I am attaching a proof of syllepsis written out, since some people
expressed an interest.

Best,

Kristina

syllepsis.pdf
Reply all
Reply to author
Forward
0 new messages