Theorem CategoryTheory.Join.mapWhiskerLeft_whiskerRight

Modification history