Theorem CategoryTheory.whiskeringRight_obj_id

Modification history