Definition:Hilbert 23/15

Rigorous Foundation of Schubert's Enumerative Calculus
Rigorous Foundation of Schubert's Enumerative Calculus.