Theorem CategoryTheory.Join.mapWhiskerRight_leftUnitor_hom

Modification history