Theorem CategoryTheory.Join.mapWhiskerLeft_leftUnitor_hom

Modification history