Theorem MulMemClass.mk_mul_mk

Modification history