Theorem Prod.mk_vadd_mk

Modification history