Theorem CategoryTheory.Join.mapWhiskerLeft_rightUnitor_hom

Modification history