Theorem List.TProd.elim_of_mem

Modification history