Theorem CategoryTheory.whiskerLeft_id

Modification history