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