Logical manifestations of topological concepts, and other things, via the univalent point of view.
GNU General Public License v3.0
220
stars
40
forks
source link
Prove that every spectral frame is isomorphic to the frame of ideals of its lattice of compact opens #268
Closed
ayberkt closed 2 months ago