Theorem CategoryTheory.whiskeringLeft_obj_id

Modification history