Theorem CategoryTheory.IsCardinalLocallyPresentable.of_le

Modification history

2025-12-05 16:31
Mathlib/CategoryTheory/Presentable/StrongGenerator.lean
feat(CategoryTheory): locally presentable categories and strong generators (#30241) …
Added CategoryTheory.IsCardinalLocallyPresentable.of_leView on Github →