mathlib

d487d650 - refactor(topology,algebraic_geometry): use bundled maps here and there (#10447)

refactor(topology,algebraic_geometry): use bundled maps here and there (#10447) * `opens.comap` now takes a `continuous_map` and returns a `preorder_hom`; * `prime_spectrum.comap` is now a bundled `continuous_map`.