top: various changes
eopt: various changes
eopt: fixes
eopt: removed duplicate code
top: more sectioning
top: restructure scalar product definition
top: note on isometric embeddings
top: merge two examples on countable bases
top: more details on topology cardinality
top: provide countable base from proof directly in theorem
top: add commutative diagram
top: various changes