Theorem MvPFunctor.w_cases

Modification history