Def WittVector.ghostComponent

Modification history