Commit 2020-02-18 20:06 2198d2c4

feat(roadmap): add some formal roadmaps in topology (#1914)

feat(roadmap): add some formal roadmaps in topology
Update roadmap/topology/paracompact.lean Co-Authored-By: Johan Commelin johan@commelin.net
Update roadmap/todo.lean
Update roadmap/topology/shrinking_lemma.lean Co-Authored-By: Chris Hughes 33847686+ChrisHughes24@users.noreply.github.com
add todo tactic as a wrapper for exact todo
Update roadmap/topology/shrinking_lemma.lean Co-Authored-By: Johan Commelin johan@commelin.net
copyright notices and module docs
oops