Theorem Qpf.recF_eq

Modification history