mathlib3

refactor(topology,calculus): change subset condition for composition

#1549

Merged