Theorem CategoryTheory.PrelaxFunctor.map₂_eqToHom

Modification history