Theorem PFunctor.liftp_iff

Modification history