Theorem Complementeds.mk_inf_mk

Modification history