Theorem MvPFunctor.liftR_iff

Modification history