Theorem Prod.mk_vsub_mk

Modification history