Def CategoryTheory.Limits.Cocone.tensor

Modification history

2026-03-03 01:16

Mathlib/CategoryTheory/Monoidal/Limits/Colimits.lean

feat(CategoryTheory/Monoidal/Limits): colimit of tensor products (#35806) …

Added CategoryTheory.Limits.Cocone.tensor View on Github →