Theorem Qpf.Cofix.dest_corec

Modification history