Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Join.mapWhiskerRight_id
Modification history
2025-06-22 08:32
Mathlib/CategoryTheory/Join/Basic.lean
feat(CategoryTheory/Join): Pseudofunctoriality of joins of categories (#25744) …
Added
CategoryTheory.Join.mapWhiskerRight_id
View on Github →