Theorem MvQPF.Cofix.dest_corec

Modification history