Keyword: hopf-spec

Theorem Essential Image of Spec Is Affine Group Schemes admitted

Theorem Group Object Structure on Spec A via Yoneda admitted

Definition Spec Functor on Hopf Algebras admitted

Theorem Spec Functor on Hopf Algebras Is Fully Faithful admitted