Theorem List.getElem?_zero_mul_tail_prod

Modification history