"The exchange theorem... is sometimes called the Steinitz exchange theorem after Ernst Steinitz... The result was first proved Hermann Günther Graßmann..."
January 1, 1970
https://en.wikiquote.org/wiki/Hermann_Grassmann