Def AlgebraCat.limitπAlgHom

Modification history

2024-03-24 13:55

Mathlib/Algebra/Category/AlgebraCat/Limits.lean

refactor(Algebra/Category): replace `TypeMax` constructions by `UnivLE` assumptions (#11420) …

Modified AlgebraCat.limitπAlgHom View on Github →

2023-07-07 05:32

Mathlib/Algebra/Category/AlgebraCat/Limits.lean

feat: port Algebra.Category.Algebra.Limits (#5716)

Added AlgebraCat.limitπAlgHom View on Github →