Theorem CategoryTheory.Join.mapWhiskerLeft_associator_hom

Modification history