Stannett, M. orcid.org/0000-0002-2794-8614 (2024) The Stone-Cech Compactification. Archive of Formal Proofs, Archive of Formal Proofs.
Metadata
Item Type: | Other |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2024 The Author(s). |
Keywords: | Mathematics; Topology; Proof |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 15 Aug 2024 14:18 |
Last Modified: | 15 Aug 2024 14:21 |
Published Version: | https://devel.isa-afp.org/entries/Stone_Cech.html |
Status: | Published |
Publisher: | Archive of Formal Proofs |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:216112 |