- Commit
- 54da273d30101e6e505a95275b0ee9b7b5ff8063
- Parent
- 62ebbbb0196d5c25b3cace58882a20b323d9ed69
- Author
- Pablo <pablo-escobar@riseup.net>
- Date
Changed the macro for the category of measure spaces
It turns out the category of measure spaces does not exist! I mean, it actually does, but it's description is much more complex than the one I was thinking about, as far as I can tell
What I really meant was the category of *measurable* spaces