Topology & Zorn's Lemma v9.0.0
This is the first release since the repos of Topology and ZornsLemma have been merged. There have been many breaking changes: moving stuff between files, renaming lemmas or changing the statements of lemmas. But also lots of additions. Major ones are quotient spaces and the sum topology.
We reformatted most proofs, to use a style using bullets and braces.
Verified to be compatible with Coq versions 8.10.2, 8.11.2, 8.12.2, 8.13.2.