Theorem Qpf.recF_eq'

Modification history