mathlib3
refactor(topology,calculus): change subset condition for composition
#1549
Merged
Merged
refactor(topology,calculus): change subset condition for composition #1549
mergify
merged
8 commits into
leanprover-community:master
from
sgouezel:composition_subset
refactor(topology,calculus): change subset condition for composition
51ab7c79
improve docstrings
5a4395c7
add is_open Ioi
a9e474d2
Merge branch 'composition_subset' of https://github.com/sgouezel/math…
34189cbf
reviewer's comments
ab19e7a6
Merge branch 'composition_subset' of https://github.com/sgouezel/math…
8d704865
typo
01ec8e42
PatrickMassot
approved these changes
on 2019-10-17
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into composition_subset
7e9e3352
Login to write a write a comment.
Login via GitHub