Def CategoryTheory.Adjunction.mapInjectivePresentation

Modification history

2023-05-09 06:12

Mathlib/CategoryTheory/Preadditive/Injective.lean

feat: port CategoryTheory.Preadditive.Injective (#3859)

Added CategoryTheory.Adjunction.mapInjectivePresentation View on Github →