First time here? Check out the FAQ!
10 0 PowerSeriesRing Not Accepting QuotientRing ( 2022-06-22 11:10:24 +0200 )