Theorem QPF.corecF_eq

Modification history