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