Separability and submetrizability in locally convex spaces | Synapse