Structure HopfAlgebraCat.Hom

Modification history

2024-10-09 08:43

Mathlib/Algebra/Category/HopfAlgebraCat/Basic.lean

chore: adaptations for lean4#5542 (#17564) …

Modified HopfAlgebraCat.Hom View on Github →

2024-07-15 20:56

Mathlib/Algebra/Category/HopfAlgebraCat/Basic.lean

feat: the category of Hopf algebras (#12010) …

Added HopfAlgebraCat.Hom View on Github →