union for opens(X) (#763)

Commit

6 years ago

feat(topology/basic): Add instances for subset/inter/union for opens(X) (#763) * feat(topology/basic): Add instances for subset/inter/union for opens(X)

References

#763 - feat(topology/basic): Add instances for subset/inter/union for opens(X)

Author

jcommelin

Committer

PatrickMassot

Parents

477338d2

mathlib3 08d4d17b - feat(topology/basic): Add instances for subset/inter/union for opens(X) (#763)

mathlib3
08d4d17b - feat(topology/basic): Add instances for subset/inter/union for opens(X) (#763)