Theorem List.TProd.elim_mk

Modification history