1 problem

Smallness equivalence conjecture. A unital pseudoalgebra $\operatorname{Diff} A$ is small if and only if $A$ is a small $X^{cop}$-simple algebra.