Theorem MvQPF.Fix.dest_mk

Modification history