Theorem CategoryTheory.Join.mapWhiskerRight_whiskerRight

Modification history