Theorem PerfectClosure.mk_add_mk

Modification history