Def CategoryTheory.SmallModel

Modification history

2023-02-23 08:11

Mathlib/CategoryTheory/EssentiallySmall.lean

feat: Port CategoryTheory.EssentiallySmall (#2452)

Added CategoryTheory.SmallModel View on Github →