mathlib3
feat(topology/basic): Add instances for subset/inter/union for opens(X)
#763
Merged
Merged
feat(topology/basic): Add instances for subset/inter/union for opens(X) #763
PatrickMassot
merged
5 commits into
master
from
opens-set-theory-instances
feat(topology/basic): Add instances for subset/inter/union for opens(X)
1e09fe4a
Oops, silly typos
315b39a1
Now it should compile
1bb55b66
Make the instances defeq to lattice instances
22d03f0c
Merge branch 'master' into opens-set-theory-instances
c1e50d4c
Login to write a write a comment.
Login via GitHub