Add ipv6_mapped property to IPv4Address

Feature or enhancement

Proposal:

Proposing a ipv6_mapped property for IPv4Address. This is the other direction of the ipv4_mapped property that already exists in IPv6Address. This can be useful if you need an ipv6 representation for an ipv4 address.

Has this already been discussed elsewhere?

I have already discussed this feature proposal on Discourse

Links to previous discussion of this feature:

https://discuss.python.org/t/ipv4-to-ipv6-mapped-address/31464

Linked PRs