Def WittVector.liftFun

Modification history