feat(RingTheory/HopfAlgebra): construct on generators#39800

hawkrobe wants to merge 15 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

hawkrobe:hopfalgebra-construction-supporthawkrobe/mathlib4:hopfalgebra-construction-supportCopy head branch name to clipboard