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