View source for User:Alec/Goals/2017.2.25 - 2017.3.3


==Work done==
* [[lifting of a continuous map through a covering map]] - [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 22:23, 26 February 2017 (UTC)
* [[The real numbers]] and [[The real line]] have been separated out, added infobox with standard structures to [[the real numbers]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 22:23, 26 February 2017 (UTC)
** And a bunch of redirects fixed [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 22:23, 26 February 2017 (UTC)
* [[Borel sigma-algebra of the real line]] has been created [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 22:23, 26 February 2017 (UTC)

==Pages==
* [[lifting of a continuous map through a covering map]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:45, 26 February 2017 (UTC)
* [[Unique lifting property]] - complete with proof - even if proof on paper. [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:45, 26 February 2017 (UTC)
* [[Path lifting property]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:45, 26 February 2017 (UTC)
* [[Homotopy lifting property]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:45, 26 February 2017 (UTC)
* [[Monodromy theorem]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:45, 26 February 2017 (UTC)

==Carried forward==
* [[Singleton (set theory)]] [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 01:45, 26 February 2017 (UTC)