Theorem MvQPF.Fix.ind_rec

Modification history