Theorem MvQPF.Fix.rec_eq

Modification history