Def CategoryTheory.Limits.createsFiniteLimitsOfCreatesFiniteLimitsOfSize

Modification history

2025-02-01 21:35
Mathlib/CategoryTheory/Limits/Preserves/Creates/Finite.lean
feat(CategoryTheory): creation of finite limits (#21320)
Added CategoryTheory.Limits.createsFiniteLimitsOfCreatesFiniteLimitsOfSizeView on Github →