Theorem MvPFunctor.wDest'_wMk

Modification history