Theorem WittVector.ghostComponent_apply

Modification history