Mathlib Changelog
v4
Changelog
About
Github
Inductive
ModuleCat.Colimits.Prequotient
Modification history
2023-09-04 16:01
Mathlib/Algebra/Category/ModuleCat/Colimits.lean
refactor: colimits in ModuleCat (#6925) …
Deleted
ModuleCat.Colimits.Prequotient
View on Github →
2023-06-06 14:18
Mathlib/Algebra/Category/ModuleCat/Colimits.lean
feat: port Algebra.Category.Module.Colimits (#4282)
Added
ModuleCat.Colimits.Prequotient
View on Github →