Theorem CategoryTheory.op_neg

Modification history

2023-04-19 11:37

Mathlib/CategoryTheory/Preadditive/Opposite.lean

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

Added CategoryTheory.op_neg View on Github →