Theorem MvFunctor.LiftP_PredLast_iff

Modification history