Theorem MvPFunctor.liftP_iff'

Modification history