Theorem CategoryTheory.Localization.Monoidal.triangle_natTrans

Modification history

2026-10-01 17:39
Mathlib/CategoryTheory/Localization/Monoidal/Basic.lean
refactor(CategoryTheory): use quadrifunctors for the localized pentagon (#43009) …
Added CategoryTheory.Localization.Monoidal.triangle_natTransView on Github →