Theorem CategoryTheory.Functor.whiskeringRight_obj_comp

Modification history