Def ModuleCat.uniqueOfEpiZero

Modification history

2023-04-13 11:38

Mathlib/Algebra/Category/ModuleCat/EpiMono.lean

feat: port Algebra.Category.Module.EpiMono (#3413)

Added ModuleCat.uniqueOfEpiZero View on Github →