Put definition of \(Proj_XE\) here with the definition of the tautological line bundle also. Backlinks 1 Segre Class Of A Vector Bundle