Commit 2025-10-29 00:04 07d89ddf
View on Github →feat(CategoryTheory): κ-filtered categories are stable under products (#30634)
Binary products and general products of κ-filtered categories are κ-filtered.
feat(CategoryTheory): κ-filtered categories are stable under products (#30634)
Binary products and general products of κ-filtered categories are κ-filtered.