Theorem CategoryTheory.OplaxFunctor.map₂_inv_hom

Modification history