Theorem MvQPF.Cofix.dest_corec₁

Modification history