Template:Binary operation on homotopy

From Topospaces