mathlib3
fix(topology/continuous_on): avoid duplicate instance arguments
#1542
Merged
Merged
fix(topology/continuous_on): avoid duplicate instance arguments #1542
mergify
merged
2 commits into
master
from
rwbarton-fix-continuous-on
fix(topology/continuous_on): avoid duplicate instance arguments
bb2860a2
jcommelin
approved these changes
on 2019-10-12
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into rwbarton-fix-continuous-on
2c8771ea
Login to write a write a comment.
Login via GitHub