Theorem PerfectClosure.mk_mul_mk

Modification history