mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

refactor(topology/order): redefine `topological_space.complete_lattice`

Open urkud opened this issue 4 years ago • 0 comments

Open in Gitpod

urkud avatar Oct 06 '21 00:10 urkud