Commit 2024-07-15 20:56 4831f315
View on Github →feat: the category of Hopf algebras (#12010)
The category of Hopf algebras over a commutative ring. Mimics Mathlib.LinearAlgebra.QuadraticForm.QuadraticModuleCat
.
feat: the category of Hopf algebras (#12010)
The category of Hopf algebras over a commutative ring. Mimics Mathlib.LinearAlgebra.QuadraticForm.QuadraticModuleCat
.