Last modified on 19 June 2013, at 12:44

simple connectedness