Theorem CategoryTheory.Pseudofunctor.Grothendieck.map_id_map

Modification history