This is an unofficial reimagining of the Archive of Formal Proofs
The Kuratowski Closure-Complement Theoremby Peter Gammie and Gianpaolo Gioiosa