Theorem CategoryTheory.Pseudofunctor.Grothendieck.map_comp_forget

Modification history