Def CategoryTheory.Limits.coconeOfCoconeCurry

Modification history

2025-02-21 15:59

Mathlib/CategoryTheory/Limits/Fubini.lean

feat(CategoryTheory/Limits/Fubini): relax `HasLimits` hypotheses (#20570) …

Added CategoryTheory.Limits.coconeOfCoconeCurry View on Github →