Def ModuleCat.normalEpi

Modification history

2023-05-25 08:46

Mathlib/Algebra/Category/ModuleCat/Abelian.lean

feat: port Algebra.Category.Module.Abelian (#4299)

Added ModuleCat.normalEpi View on Github →