Syllepsis

54 views

Skip to first unread message

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