Theorem WittVector.ghostEquiv_coe

Modification history