Def CategoryTheory.ShrinkHoms

Modification history

2023-02-23 08:11

Mathlib/CategoryTheory/EssentiallySmall.lean

feat: Port CategoryTheory.EssentiallySmall (#2452)

Added CategoryTheory.ShrinkHoms View on Github →