Theorem CategoryTheory.Pseudofunctor.Grothendieck.map_id_eq

Modification history