add second lemma for bases
add notes to top for product topology
add link to topology notes in index
Merge branch 'master' into gh-pages
rebuild HTMLs