Def CategoryTheory.Limits.CreatesLimitsOfSize.createsFiniteLimits

Modification history

2025-02-01 21:35

Mathlib/CategoryTheory/Limits/Preserves/Creates/Finite.lean

feat(CategoryTheory): creation of finite limits (#21320)

Added CategoryTheory.Limits.CreatesLimitsOfSize.createsFiniteLimits View on Github →