Theorem MvPFunctor.wDest'_wMk'

Modification history