Loading paper
$G$-compactness for topological groups with operations | Tomesphere