Category: HoTT 2019 O(2) as a semidirect product Apr 30 2019 Deloopings of 1-groups Jan 02 2019 2013 Another proof of function extensionality Sep 18 2013