data
data copied to clipboard
Add "Countably generated" alias to P81
Since we are adding this alias, it would be good to also add an equivalent formulation of the definition in terms of "countably generated".
Marking as blocked by #1284 (which will close this if accepted)
In order to move this along, I have added text about "compactly generated". @danflapjax Can you take a look and tell what you think?
I'll unblock this PR, as I think it's ready to go. The other PR can be discussed separately.