Theorem List.TProd.elim_self

Modification history