mathlib

15a6af22 - feat(topology/opens): continuous.comap : opens Y → opens X (#1061)

feat(topology/opens): continuous.comap : opens Y → opens X (#1061) * feat(topology/opens): continuous.comap : opens Y → opens X From the perfectoid project. * Update opens.lean