Theorem MvQPF.recF_eq'

Modification history