Theorem CategoryTheory.Join.mapWhiskerRight_whiskerLeft

Modification history