mathlib3
cfd01f9d - chore(topology/continuous_on): change type of `continuous_on.comp_continuous` (#5209)

Commit

5 years ago

chore(topology/continuous_on): change type of `continuous_on.comp_continuous` (#5209) Use `∀ x, f x ∈ s` instead of `range f ⊆ s`.

Author

urkud

Parents