Quasi-separated morphism (source code)

= Quasi-separated morphism
{wiki=Quasi-separated_morphism}