Skip to content

Add `prod_swap` and some basic results for it.

Robbert Krebbers requested to merge robbert/prod_swap into master

I was surprised this function is not in the stdlib...

Merge request reports