#Tricks

Walk-through to Morel-Voevodsky A¹-homotopy theory part II (page 48, Lemma 1.1)