Redirecting to ../../../alga/general/trait.MultiplicativeMonoid.html...