Def CategoryTheory.opHom

Modification history

2023-04-19 11:37

Mathlib/CategoryTheory/Preadditive/Opposite.lean

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

Added CategoryTheory.opHom View on Github →