Algebraic characterization of the smallest closed invariant equivalence relation containing the higher order regionally proximal relation
The conjecture.
MathDB