Theorem PFunctor.liftr_iff

Modification history