Theorem List.zipWith_swap_prod_support'

Modification history