Def CategoryTheory.ChosenFiniteProducts.prodComparisonIso

Modification history

2024-11-19 08:25

Mathlib/CategoryTheory/ChosenFiniteProducts.lean

refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …

Deleted CategoryTheory.ChosenFiniteProducts.prodComparisonIso View on Github →

2024-10-22 19:00

Mathlib/CategoryTheory/ChosenFiniteProducts.lean

feat(CategoryTheory/ChosenFiniteProducts): `prodComparison` and `terminalComparison` for `ChosenFiniteProducts` (#17701) …

Added CategoryTheory.ChosenFiniteProducts.prodComparisonIso View on Github →