Theorem CategoryTheory.Join.mapWhiskerRight_associator_hom

Modification history