Theorem continuous_neg'

feat(analysis/normed_space/lattice_ordered_group): prove `order_closed_topology` for `normed_lattice_add_comm_group` (#10838)

refactor(analysis/topology/topological_structures): use to_additive to derive topological_add_monoid and topological_add_group

Merge branch 'master' of https://github.com/leanprover/mathlib

refactor(data/finset): fix formatting issues

feat(topology): add topological structures for groups, ring, and linear orders; add instances for rat and real