mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: define spectral spaces and prove that a quasi-compact open of a spectral space is spectral

Open pangelinos opened this issue 11 months ago • 0 comments

Define spectral spaces and prove that a quasi-compact open of a spectral space is spectral.

Open in Gitpod

pangelinos avatar Mar 01 '24 17:03 pangelinos