Def CategoryTheory.unopHom

Modification history

2023-04-19 11:37

Mathlib/CategoryTheory/Preadditive/Opposite.lean

feat: port CategoryTheory.Preadditive.Opposite (#3505)

Added CategoryTheory.unopHom View on Github →