Definition 18.9
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 18 Affines Gruppenschema/Hopf-Algebra/Operation/Definition
