Fill a gap in one proof about isomorphisms and mapping bases to bases
more metric spaces work. add a section on the topology of subspaces, define uniform continuity