has_pow for fpow

Stream: maths

[Chris Hughes]

There's no has_pow instance for integer powers in a field, there's just fpow. Is there a reason why the notation isn't used for fpow?

[Mario Carneiro]

maybe it was written before has_pow? I think @Rob Lewis will know