Def CategoryTheory.Limits.BinaryCofan.ext

Modification history

2024-10-22 19:00

Mathlib/CategoryTheory/Limits/Shapes/BinaryProducts.lean

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

Added CategoryTheory.Limits.BinaryCofan.ext View on Github →