Spahn diagonalizable group scheme (history)

June 1, 2012