answered 12 years ago
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. :)