typo
Associated nuclei to modal operators in Sh(X)
Cleanup: quasicoherence of annihilator ideals