Theorem CategoryTheory.unop_add

Modification history

2023-04-19 11:37

Mathlib/CategoryTheory/Preadditive/Opposite.lean

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

Added CategoryTheory.unop_add View on Github →