Theorem CategoryTheory.Pseudofunctor.Grothendieck.Hom.ext_iff

Modification history