Theorem TrivSqZeroExt.snd_list_prod

Modification history