add second lemma for bases
add notes to top for product topology
add link to topology notes in index