The Seifert–Van Kampen Theorem in Homotopy Type Theory (2016) [pdf]

%PDF-1.5 %???? 6 0 obj << /Length 5996 /Filter /FlateDecode >> stream x??<ْ?6???z?*?D??9?2ݞ?vǮ?۳???b?hK????5_?yEV???o???D"?H$?R????|?B}?????~???E?5????&5???&S*J3?y?߼߾;?7;???ۺ????{cҟo?ږg?]?.????nt??Oh???????I?n?x?t??NO7????'?hI^?q?? Ey?2;_??d;??????p?3D{???*Q?c{yc??g??=7%????GE ??yd?l??qT?1????5xhj&??>?3??;77&??Pw}3?qP?:*???o?0???g???UU?1????d??#???FyQp?7Mu(?#???0O ??Tvq???|.+???^??2??4<?ve6 ;?,?Ϧg6?ܗ?}S??n>c?&??&r?f?dQb??Ww?Еհ2-[?QΘ?C?{0]??@:??X????[rSWW?y`PW?u?UA?j???󹮆U*$???YCf ??2/4?U???\:?س*?La??6??.]?c!??X?o)?????ՙ?]?5zƍan??????- Ǩ???l??h??ҵ?̬??m???????*r?#????\??c?0?1)?R.?< ??,???#?y?}j?㞥