Theorem Qpf.Fix.ind_rec

Modification history