= ii {scope} The product hypothesis supplies surjectivity of the multiplication map.
Back to article page