Theorem Qpf.Fix.rec_eq

Modification history