Theorem CategoryTheory.Join.mapWhiskerRight_id

Modification history