Theorem CategoryTheory.whiskeringLeft_obj_comp

Modification history