Def CategoryTheory.Pseudofunctor.Grothendieck.mapIdIso

Modification history