feat: correspondence between affine group schemes and Hopf algebras#24000

YaelDillies wants to merge 1 commit intomasterleanprover-community/mathlib4:masterfrom

hopf_algebra_affine_group_schemeleanprover-community/mathlib4:hopf_algebra_affine_group_schemeCopy head branch name to clipboard