Removed homotopy notation from the statement of isweqhomot, as it breaks algebra1a.