Theorem MvQPF.Fix.ind_aux

Modification history