Theorem CategoryTheory.Join.whiskerLeft_inclRight_mkNatTrans

Modification history

2025-04-18 20:06
Mathlib/CategoryTheory/Join/Basic.lean
feat(CategoryTheory): joins of categories (#23412) …
Added CategoryTheory.Join.whiskerLeft_inclRight_mkNatTransView on Github →