mathlib3

c10e724b - refactor(topology/algebra/field): drop `topological_space_units` (#18536)

refactor(topology/algebra/field): drop `topological_space_units` (#18536) See [Zulip chat](https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/topology.20on.20units/near/324188800) Also generalize TC assumptions in `inv_mem_iff`.