`BookProof.ChapterG.ghost_creat_conjTranspose` : (ghostAnnih (A := ℂ))ᴴ = ghostCreat

Initializing...

`BookProof.ChapterG.ghost_creat_conjTranspose` : (ghostAnnih (A := ℂ))ᴴ = ghostCreat · Prove2Me