Theorem QPF.recF_eq'

Modification history