1 problem

ER Conjecture 5.1. For all $\mathsf{xyz}$ other than $\mathsf{010}$ and $\mathsf{101}$, the equivalence relation $\overline{\underline{\mathsf{x\smash{\mathsf{y}}z}}}$ is generated…