Toying around with it and it will redistribute any other route, but not ::/0. It also doesn't honor the "Reject Default Route" flag.
There is an open bug for this. The good news is that there is a workaround.
In your OSPFv3 "Export Rules", you can actually add the actual route instead of selecting a redistribution profile. Simply add a 2nd Export Rule where the Name = "::/0"
Click Accept as Solution to acknowledge that the answer to your question has been provided.
The button appears next to the replies on topics you’ve started. The member who gave the solution and all future visitors to this topic will appreciate it!
These simple actions take just seconds of your time, but go a long way in showing appreciation for community members and the LIVEcommunity as a whole!
The LIVEcommunity thanks you for your participation!