Substoch is not compact closed

Last updated Nov 12, 2024

Tags: Subdistribution monad.