mathlib

e5fc2a70 - refactor(topology,calculus): change subset condition for composition (#1549)

refactor(topology,calculus): change subset condition for composition (#1549) * refactor(topology,calculus): change subset condition for composition * improve docstrings * add is_open Ioi * reviewer's comments * typo