Morel's stable A1\mathbb{A}^1A1-connectivity conjecture
Morel's stable A1\mathbb{A}^1A1-connectivity conjecture. Under these hypotheses, LmotEL_{\operatorname{mot}}ELmotE is nnn-connective.