Theorem CategoryTheory.MonoidalFunctor.mapAction_ε_inv_hom

Modification history