Theorem CategoryTheory.whiskeringRight_obj_comp

Modification history