Theorem CategoryTheory.Join.mapWhiskerLeft_whiskerLeft

Modification history

2025-06-22 08:32
Mathlib/CategoryTheory/Join/Pseudofunctor.lean
feat(CategoryTheory/Join): Pseudofunctoriality of joins of categories (#25744) …
Added CategoryTheory.Join.mapWhiskerLeft_whiskerLeftView on Github →