Def CommHopfAlgCat.Hom.Simps.hom

Modification history

2026-06-10 14:43

Mathlib/Algebra/Category/CommHopfAlgCat.lean

feat: the category of commutative Hopf algebras over a commutative ring (#40361) …

Added CommHopfAlgCat.Hom.Simps.hom View on Github →