Theorem List.prod_map_neg

Modification history