In "Standard conjectures on algebraic cycles" Grothendieck says:
"The first is an existence assertion for algebraic cycles (considerably weaker than the Tate conjectures), and is inspired by and formally analogous to
Lefschetz's structure theorem on the cohomology of a smooth projective variety over the complex field
The second is a statement of positivity, generalising
Weil's well-known positivity theorem in the theory of abelian varieties. It is formally analogous to the famous Hodge inequalities, and is in fact a consequence of these in characteristic zero."
My question is:
Where can I find (in a book or article) those theorems?
The names(of the theorems) have changed?
Note: My reference request is for books or articles in the current language!