Theorem List.dProdIndex_nil

Modification history