Loading paper
On ideals in quantales -- I | Tomesphere