Def CategoryTheory.Mon.limitConeLiftsToLimit

Modification history

2026-03-03 15:46
Mathlib/CategoryTheory/Monoidal/Internal/Limits.lean
feat(CategoryTheory/Monoidal/Limits): generalise universes and explicit limits for limits of monoid objects (#35996) …
Added CategoryTheory.Mon.limitConeLiftsToLimitView on Github →