1 problem

Non-definability conjecture. In no nontrivial precontraction group $(\Gamma,\chi)$ can one define, even allowing parameters, a function $\psi:\Gamma^{\neq}\to\Gamma$ such that…