Def ModuleCat.normalMono

Modification history

2023-05-25 08:46

Mathlib/Algebra/Category/ModuleCat/Abelian.lean

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

Added ModuleCat.normalMono View on Github →