Def CategoryTheory.Pseudofunctor.Grothendieck.mapCompIso

Modification history