Theorem Qpf.corecF_eq

Modification history