Theorem List.prod_flatten

Modification history