Theorem CategoryTheory.Join.mapWhiskerRight_rightUnitor_hom

Modification history