Theorem CategoryTheory.PrelaxFunctor.map₂_hom_inv_isIso

Modification history