Theorem CategoryTheory.Functor.whiskeringRight_obj_id

Modification history