Theorem CategoryTheory.Join.mapWhiskerLeft_id

Modification history

2025-07-04 07:44
Mathlib/CategoryTheory/Join/Basic.lean
chore: further whitespace fixes (#26708) …
Modified CategoryTheory.Join.mapWhiskerLeft_idView on Github →
2025-06-22 08:32
Mathlib/CategoryTheory/Join/Basic.lean
feat(CategoryTheory/Join): Pseudofunctoriality of joins of categories (#25744) …
Added CategoryTheory.Join.mapWhiskerLeft_idView on Github →