Commit 2020-02-18 20:06 2198d2c4
View on Github →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 [email protected]
- Update roadmap/todo.lean
- Update roadmap/topology/shrinking_lemma.lean Co-Authored-By: Chris Hughes [email protected]
- add
todotactic as a wrapper forexact todo - Update roadmap/topology/shrinking_lemma.lean Co-Authored-By: Johan Commelin [email protected]
- copyright notices and module docs
- oops