Loading paper
$RP^{[d]}$ is an equivalence relation: An enveloping semigroup proof | Tomesphere