mathlib

d6ecb445 - feat(topology/basic): closure in term of subtypes (#3339)