First time here? Check out the FAQ!
10 0 Quotient of CombinatorialFreeModule ( 2012-05-11 10:02:06 +0100 )