Loading paper
Multiplicative closure operations on ring extensions | Tomesphere