Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.hasCardinalLT_arrow_walkingParallelFamily
Modification history
2025-01-23 06:28
Mathlib/CategoryTheory/Presentable/IsCardinalFiltered.lean
feat(CategoryTheory): `κ`-filtered categories (#20005) …
Added
CategoryTheory.hasCardinalLT_arrow_walkingParallelFamily
View on Github →