First time here? Check out the FAQ!
answered 2012-12-07 06:38:17 +0100
Look at #11938 which is for coercion from one finite field to another. It needs a review. If you have the background, please review it. :)