mathlib
92a9a780 - fix(topology/continuous_on): avoid duplicate instance arguments (#1542)

Commit

6 years ago

fix(topology/continuous_on): avoid duplicate instance arguments (#1542) This was broken by #1516, caught by sanity_check.

References

Author

rwbarton

Committer

mergify[bot]

Parents