Quasi-compact morphism

ID: quasi-compact-morphism

New to topics? Read the docs here!