Loading paper
Magma-valued metric spaces | Tomesphere