Theorem MvQPF.recF_eq

Modification history