Theorem List.product_spec

Modification history