Def CategoryTheory.leftDistributor

Modification history

2023-03-22 13:29

Mathlib/CategoryTheory/Monoidal/Preadditive.lean

feat: port CategoryTheory.Monoidal.Preadditive (#3033)

Added CategoryTheory.leftDistributor View on Github →