create implication poke_ball_(generic) -> poke_ball

Link to implication

Subset

EDIT: The tag implication poke_ball_(generic) -> poke_ball (forum #144819) has been rejected by @Hillside_Moose.

+1, but bear in mind I already asked this at the end of topic #8252, one month ago.

Danielx21 said:

+1, but bear in mind I already asked this at the end of topic #8252, one month ago.

A, I wondered why this implicatin doesn't exist and you forgetting it seemed unlikely but couldn't find the relevant topic or overlooked.

Anyway, this request shuldn't take one month. It's pretty straight forward.

The tag implication poke_ball_(generic) -> poke_ball (forum #144819) has been rejected by @Hillside_Moose.