mathlib3

50024528 - refactor(topology): move code around (#14525)

refactor(topology): move code around (#14525) Create a new file `topology/inseparable` and more the definitions of `specializes` and `inseparable` to this file. This is a preparation to a larger refactor of these definitions.