Theorem CategoryTheory.op_zsmul

Modification history

2023-04-19 11:37

Mathlib/CategoryTheory/Preadditive/Opposite.lean

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

Added CategoryTheory.op_zsmul View on Github →