Theorem List.TProd.mk_elim

Modification history