P
Initializing...
Norm expansion N(1+γ)=1+Tr γ+Nγ+Tr δ in prime degree · Prove2Me