Introduction About Stone’s notion of Spectrum

by Thierry Coquand