Theorem Qpf.recF_eq_of_Wequiv

Modification history