Let $ X, Y$ , let’s say, homotopy commutative $ H$ -spaces, $ f,g$ maps from $ X$ to $ Y$ . (Actually we only need $ Y$ to be homotopy commutative $ H$ _space, but the statement is easier if we also suppose $ X$ to be one). It is not difficult to showRead more