Theorem List.prod_take_ofFn

Modification history