Loading paper
Structures of $(m,n)$-seminearring | Tomesphere