Structure CategoryTheory.BundledHom

Modification history

2023-03-17 16:27

Mathlib/CategoryTheory/ConcreteCategory/BundledHom.lean

feat: port CategoryTheory.ConcreteCategory.BundledHom (#2740)

Added CategoryTheory.BundledHom View on Github →