# Commit 2024-06-10 20:38 c95c52ea

View on Github →feat: category of bialgebras (#11973)
The category of bialgebras over a commutative ring. Mimics `Mathlib.LinearAlgebra.QuadraticForm.QuadraticModuleCat.lean`

.

feat: category of bialgebras (#11973)
The category of bialgebras over a commutative ring. Mimics `Mathlib.LinearAlgebra.QuadraticForm.QuadraticModuleCat.lean`

.