Theorem MvFunctor.LiftP_def

Modification history