Herpaderp
No updates lately for two reasons. Firstly I’ve been busy proving fairly basic results about topological spaces - one in particular which involved an isometry and a surjectivity proof took me ages. But also because absolutely nothing of any interest has been happening.
