Compact closed streams via Adamek's theorem

Last updated Oct 4, 2022